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.

• Type: Conference
• Year: 2005
• Where: ESWS
• Authors: Patryk Burek, Rafal Grabos
• Keywords: Answer Set, ESWS 2005, Nondefeasible Knowledge, OWL Axioms