Sciweavers

262 search results - page 8 / 53
» Reasoning and Explanation in EL and in Expressive Descriptio...
Sort
View
LPAR
1999
Springer
13 years 12 months ago
Practical Reasoning for Expressive Description Logics
Abstract. Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Ex...
Ian Horrocks, Ulrike Sattler, Stephan Tobies
DLOG
2009
13 years 5 months ago
A Framework for Reasoning with Expressive Continuous Fuzzy Description Logics
In the current paper we study the reasoning problem for fuzzy SI (f-SI) under arbitrary continuous fuzzy operators. Our work can be seen as an extension of previous works that stud...
Giorgos Stoilos, Giorgos B. Stamou
JAIR
2007
146views more  JAIR 2007»
13 years 7 months ago
Reasoning with Very Expressive Fuzzy Description Logics
It is widely recognized today that the management of imprecision and vagueness will yield more intelligent and realistic knowledge-based applications. Description Logics (DLs) are...
Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan, V...
AAAI
1993
13 years 9 months ago
EL: A Formal, Yet Natural, Comprehensive Knowledge Representation
We present Episodic Logic (EL), a highly expressive knowledge representation well-adapted to general commonsense reasoning as well as the interpretive and inferential needs of nat...
Chung Hee Hwang, Lenhart K. Schubert
JAR
2007
67views more  JAR 2007»
13 years 7 months ago
Optimizing Terminological Reasoning for Expressive Description Logics
Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schne...