Sciweavers

199 search results - page 1 / 40
» Description Logics: Foundations for Class-based Knowledge Re...
Sort
View
LICS
2002
IEEE
13 years 9 months ago
Description Logics: Foundations for Class-based Knowledge Representation
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
KR
1998
Springer
13 years 9 months ago
Foundations of Spatioterminological Reasoning with Description Logics
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning abou...
Volker Haarslev, Carsten Lutz, Ralf Möller
SEMWEB
2007
Springer
13 years 11 months ago
Logical Foundations of (e)RDF(S): Complexity and Reasoning
Abstract. An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms ...
Jos de Bruijn, Stijn Heymans
ICCS
2005
Springer
13 years 10 months ago
Applications of Description Logics: State of the Art and Research Challenges
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...
Ian Horrocks
AIM
2005
13 years 4 months ago
Description Logics and Planning
This paper surveys previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Descr...
Yolanda Gil