Matches in ScholarlyData for { ?s ?p ?o. }
- 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".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasLastItem item-3.
- item-1 type ListItem.
- item-1 hasContent xiaowang-zhang.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent guohui-xiao.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent zuoquan-lin.
- item-3 previous item-2.
- 150 creator edward-thomas.
- 150 creator jeff-z-pan.
- 150 creator stuart-taylor.
- 150 type InProceedings.
- 150 label "Reducing Ambiguity in Tagging Systems with Folksonomy Search Expansion".
- 150 sameAs 150.
- 150 abstract "Search facilities are vital both within folksonomy (or social tagging mechanism) based systems and across folksonomy based systems. Although these systems allow great malleability and adaptability, they also surfer from problems, such as ambiguity in the meaning of tags, flat organisation of tags and some degree of unstabilising factor on consensus about which tags best describe some certain Web resources. It has been argued that folksonomy structure can be enhanced by ontologies; however, as suggested by Hotho et al., a key question remains open: how to exploit the benefits of ontologies without bothering untrained users with its rigidity. In this paper, we propose an approach to address the problem of ambiguity in tagging systems by expanding folksonomy search with ontologies, which is completely transparent to users. Preliminary implementations and evaluations on the efficiency and the usefulness of such expansions are very promising.".
- 150 hasAuthorList authorList.
- 150 hasTopic Multimedia.
- 150 hasTopic Query.
- 150 hasTopic Search_engine.
- 150 hasTopic Semantic_Web.
- 150 hasTopic Visualization.
- 150 isPartOf proceedings.
- 150 keyword "folksonomy".
- 150 keyword "ontology".
- 150 keyword "search".
- 150 keyword "semantic web".
- 150 keyword "web 2.0".
- 150 title "Reducing Ambiguity in Tagging Systems with Folksonomy Search Expansion".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasLastItem item-3.
- item-1 type ListItem.
- item-1 hasContent jeff-z-pan.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent stuart-taylor.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent edward-thomas.
- item-3 previous item-2.
- 151 creator joost-vennekens.
- 151 creator marc-denecker.
- 151 type InProceedings.
- 151 label "FO(ID) as an extension of DL with rules".
- 151 sameAs 151.
- 151 abstract "There are many interesting Knowledge Representation questions surrounding rule languages for the Semantic Web. The most basic one is of course: which kind of rules should be used and how do they integrate with existing Description Logics? Similar questions have already been adressed in the field of Logic Programming, where one particular answer has been provided by the language of FO(ID). FO(ID) is an extension of classical first-order logic with a rule-based representation for inductive defintions. By offering a general integration of first-order logic and Logic Programs, it also induces a particular way of extending Description Logics with rules. The goal of this paper is to investigate this integration and discover whether there are interesting extensions of DL with rules that can be arrived at by imposing appropriate restrictions on the highly expressive FO(ID).".
- 151 hasAuthorList authorList.
- 151 hasTopic Formal_languages.
- 151 hasTopic Inference.
- 151 hasTopic Logic.
- 151 hasTopic Rule_of_inference.
- 151 hasTopic Semantic_Web.
- 151 isPartOf proceedings.
- 151 keyword "Knowledge representation".
- 151 keyword "Logic programming".
- 151 keyword "Rule languages".
- 151 title "FO(ID) as an extension of DL with rules".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasLastItem item-2.
- item-1 type ListItem.
- item-1 hasContent joost-vennekens.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent marc-denecker.
- item-2 previous item-1.