DocumentCode
503967
Title
Reasoning with Inconsistent OWL Ontologies for Software Reuse
Author
Wang, Songxin
Author_Institution
Dept. of Comput. Sci. & Technol., Shanghai Univ. of Finance & Econ., Shanghai, China
Volume
2
fYear
2009
fDate
19-21 May 2009
Firstpage
113
Lastpage
116
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 2009. WCSE '09. WRI World Congress on
Conference_Location
Xiamen
Print_ISBN
978-0-7695-3570-8
Type
conf
DOI
10.1109/WCSE.2009.418
Filename
5319700
Link To Document