Title :
Reasoning with Inconsistent OWL Ontologies for Software Reuse
Author_Institution :
Dept. of Comput. Sci. & Technol., Shanghai Univ. of Finance & Econ., Shanghai, China
Abstract :
A framework for reasoning with inconsistent OWL ontologies is presented with the aim to support the design of Software design patterns. The priority information between axioms are given explicitly, allowing for the use of pieces of information having various levels of confidence, a preferential semantics is then defined for reasoning with prioritized ontology, the property of the method is studied, and the reasoning algorithms is given.
Keywords :
inference mechanisms; knowledge representation languages; object-oriented programming; ontologies (artificial intelligence); programming language semantics; software reusability; inconsistent OWL ontologies; preferential semantics; reasoning algorithms; software design patterns; software reuse; Computer science; Concrete; Environmental economics; Finance; Inference algorithms; Multivalued logic; OWL; Ontologies; Software design; Software engineering; OWL; design patterns; ontology;
Conference_Titel :
Software Engineering, 2009. WCSE '09. WRI World Congress on
Conference_Location :
Xiamen
Print_ISBN :
978-0-7695-3570-8
DOI :
10.1109/WCSE.2009.418
