Data Portal @ linkeddatafragments.org

Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/eswc2009/paper/15> ?p ?o. }

• 15 creator guohui-xiao.
• 15 creator xiaowang-zhang.
• 15 creator zuoquan-lin.
• 15 type InProceedings.
• 15 label "A Tableau Algorithm for Handling Inconsistency in OWL".
• 15 sameAs 15.
• 15 abstract "In Semantic Web, the knowledge sources usually contain inconsistency because they are constantly changing and from different view points. As is well known, as based on the description logic of the Semantic Web, OWL is lack of the ability of tolerating inconsistent or incomplete data. Recently, the research in handling inconsistency in OWL becomes more and more important. In this paper, we present a paraconsistent OWL called quasi-classical OWL to handle inconsistency with holding important inference rules such as modus tollens, modus ponens, and disjunctive syllogism. We propose a terminable, sound and complete tableau algorithm to implement paraconsistent reasoning in quasi-classical OWL. In comparison with other approaches to handle inconsistency in OWL, our approach enhances the ability of reasoning by integrating paraconsistent reasoning with important classical inference rules.".
• 15 hasAuthorList authorList.
• 15 hasTopic Annotation.
• 15 hasTopic Data.
• 15 hasTopic Evaluation.
• 15 hasTopic Ontology_engineering.
• 15 hasTopic Optimization_(computer_science).
• 15 hasTopic Query.
• 15 hasTopic SPARQL.
• 15 hasTopic Search_engine.
• 15 hasTopic Semantic_Web.
• 15 hasTopic Visualization.
• 15 isPartOf proceedings.
• 15 keyword "Semantic Web".
• 15 keyword "description logic".
• 15 keyword "paraconsistent reasoning".
• 15 keyword "quasi-classical logic".
• 15 keyword "tableau algorithm".
• 15 title "A Tableau Algorithm for Handling Inconsistency in OWL".