Sciweavers

408 search results - page 9 / 82
» Reasoning with Very Expressive Fuzzy Description Logics
Sort
View
RWEB
2010
Springer
13 years 6 months ago
Reasoning and Explanation in EL and in Expressive Description Logics
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...
Anni-Yasmin Turhan
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
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...
DLOG
2006
13 years 9 months ago
Tableau Caching for Description Logics with Inverse and Transitive Roles
Abstract. Modern description logic (DL) reasoners are known to be less efficient for DLs with inverse roles. The current loss of performance is largely due to the missing applicabi...
Yu Ding, Volker Haarslev