Sciweavers

Share
ESWS
2005
Springer

Dually Structured Concepts in the Semantic Web: Answer Set Programming Approach

12 years 5 months ago
Dually Structured Concepts in the Semantic Web: Answer Set Programming Approach
There is an ongoing discussion whether reasoning in the Semantic Web should be monotonic or not. It seems however that the problem concerns not only the reasoning over knowledge but knowledge itself, where apart from nondefeasible knowledge the prototypical knowledge can be distinguished. In the current paper we rely on the cognitive Dual Theory comprising the classical theory of definition with the prototype theory. We develop a metaontology for representing coherently both defeasible and nondefeasible knowledge and used it for an annotation of OWL axioms. The translation of annotated OWL axioms into a logic program under answer set semantics is provided. Hence the answer set solver Smodels may be used as the reasoner for annotated ontologies, handling properly the distinction between monotonic and nonmonotonic reasoning.
Patryk Burek, Rafal Grabos
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where ESWS
Authors Patryk Burek, Rafal Grabos
Comments (0)
books