Sciweavers

1285 search results - page 30 / 257
» Description Logic Reasoner: System Description
Sort
View
CADE
2002
Springer
16 years 2 days ago
Reasoning with Expressive Description Logics: Theory and Practice
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
Ian Horrocks
CL
2000
Springer
15 years 4 months ago
Reasoning about Duplicate Elimination with Description Logic
Vitaliy L. Khizder, David Toman, Grant E. Weddell
DLOG
2006
15 years 1 months ago
Description Logic Reasoning for Dynamic ABoxes
Christian Halaschek-Wiener, Bijan Parsia, Evren Si...
DLOG
2007
15 years 2 months ago
Modal vs. Propositional Reasoning for model checking with Description Logics
Shoham Ben-David, Richard J. Trefler, Grant E. Wed...