Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/eswc2007/paper-115> ?p ?o. }
Showing items 1 to 10 of
10
with 100 items per page.
- paper-115 type InProceedings.
- paper-115 label "Algorithms for Paraconsistent Reasoning with OWL".
- paper-115 sameAs paper-115.
- paper-115 abstract "In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it is reasonable to expect that knowledge sources will contain noise and accuracy. Practical reasoning techniques for ontologies therefore will have to be tolerant to this kind of data, including the ability to handle inconsistencies in a meaningful way. For this purpose, we employ paraconsistent reasoning based on four-valued logic, which is a classical method for dealing with inconsistencies in knowledge bases. Its transfer to OWL DL, however, necessitates the making of fundamental design choices in dealing with class inclusion, which has resulted in differing proposals for paraconsistent description logics. In this paper, we build on one of the more general approaches which due to its flexibility appears to be most promising for further investigations. We present two algorithms suitable for implementation, one based on a preprocessing before invoking a classical OWL reasoner, the other based on a modification of the KAON2 transformation algorithms. We also report on an implementation.".
- paper-115 hasAuthorList authorList.
- paper-115 keyword "Four-valued Logic".
- paper-115 keyword "Inconsistent Handling".
- paper-115 keyword "OWL DL".
- paper-115 keyword "Paraconsisent Reasoning".
- paper-115 title "Algorithms for Paraconsistent Reasoning with OWL".