Name
Abstract | ||
|---|---|---|
There is an ongoing discussion whether reasoning in the Semantic Web should be monotonic or not. However, it seems that the problem concerns not only reasoning over knowledge but knowledge itself, where apart from nondefeasible knowledge the defeasible knowledge can be distinguished. In the current paper we rely on the Dual Theory of Concepts, according to which concepts are dually structured into defeasible and nondefeasible parts. We develop a metaontology for representing both types of a concept's structure and apply it for annotating 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 reasoner for annotated ontologies, handling properly the distinction between monotonic and nonmonotonic reasoning. |
Year | DOI | Venue |
|---|---|---|
2005 | 10.1007/11431053_26 | ESWC |
Keywords | Field | DocType |
programming approach,annotated ontology,nonmonotonic reasoning,annotated owl axiom,nondefeasible knowledge,defeasible knowledge,annotating owl axiom,dually structured concept,nondefeasible part,semantic web,answer set semantics,dual theory,answer set programming,ontology,knowledge representation | Ontology (information science),Data mining,Knowledge representation and reasoning,Semantic reasoner,Computer science,Semantic Web,Non-monotonic logic,Answer set programming,Defeasible estate,Semantics | Conference |
Volume | ISSN | ISBN |
3532 | 0302-9743 | 3-540-26124-9 |
Citations | PageRank | References |
0 | 0.34 | 19 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Patryk Burek | 1 | 46 | 7.70 |
| Rafał Graboś | 2 | 1 | 1.36 |