Sciweavers

383 search results - page 26 / 77
» Well-Founded Semantics for Description Logic Programs in the...
Sort
View
AUSAI
2006
Springer
13 years 11 months ago
ALE Defeasible Description Logic
One of Semantic Web strengths is the ability to address incomplete knowledge. However, at present, it cannot handle incomplete knowledge directly. Also, it cannot handle non-monoto...
Pakornpong Pothipruk, Guido Governatori
ECAI
2008
Springer
13 years 9 months ago
Description Logic Rules
Abstract. We introduce description logic (DL) rules as a new rule-based formalism for knowledge representation in DLs. As a fragment of the Semantic Web Rule Language SWRL, DL rule...
Markus Krötzsch, Sebastian Rudolph, Pascal Hi...
ICCS
2005
Springer
14 years 1 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
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
SEMWEB
2007
Springer
14 years 1 months ago
Measuring Incoherence in Description Logic-Based Ontologies
Ontologies play a core role in the success of the Semantic Web as they provide a shared vocabulary for different resources and applications. Developing an error-free ontology is a...
Guilin Qi, Anthony Hunter