Sciweavers

1512 search results - page 58 / 303
» Description Logic Terminology
Sort
View
ESWS
2007
Springer
14 years 1 months ago
Towards Novel Techniques for Reasoning in Expressive Description Logics based on Binary Decision Diagrams
We propose to design and study new techniques for description logic (DL) reasoning based on a prominent data structure that has been applied very successfully in various domains in...
Uwe Keller
CLIMA
2004
13 years 11 months ago
From Logic Programs Updates to Action Description Updates
An important branch of investigation in the field agents has been the definition of high level languages for representing effects of actions, the programs written in such languages...
José Júlio Alferes, Federico Banti, ...
CADE
2007
Springer
14 years 10 months ago
Conservative Extensions in the Lightweight Description Logic EL
We bring together two recent trends in description logic (DL): lightweight DLs in which the subsumption problem is tractable and conservative extensions as a central tool for forma...
Carsten Lutz, Frank Wolter
WOLLIC
2009
Springer
14 years 4 months ago
Query Answering in Description Logics: The Knots Approach
In the recent years, query answering over Description Logic (DL) knowledge bases has been receiving increasing attention, and various methods and techniques have been presented for...
Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Manta...
TABLEAUX
2005
Springer
14 years 3 months ago
Description Logics in Ontology Applications
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
Ian Horrocks