Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

You searched for +publisher:"University of New South Wales" +contributor:("Meyer, Tommie, Computer Science & Engineering, Faculty of Engineering, UNSW"). One record found.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of New South Wales

1. Lee, Kevin. Inconsistency management for description logics.

Degree: Computer Science & Engineering, 2012, University of New South Wales

Description logics belong to a family of knowledge representation formalisms that are widely used for representing ontologies. However, ontologies are subject to changes and are susceptible to logical errors as they evolve. Ontology reasoners are able to identify these errors, but they provide very limited support for resolving them. In particular, the existing tools do not provide adequate support to prevent logical errors from being introduced into an ontology. In this research, we investigate three different operations that are directly related to the management of logical inconsistencies in ontologies, namely: ontology contraction, integration and debugging. Ontology contraction concerns the removal of information from a set of description logic sentences, where the resulting set of sentences is consistent. Ontology integration is the problem of combining multiple sets of description logic sentences in a consistent manner. Ontology debugging deals with the removal of description logic sentences to restore the consistency of an ontology. In this regard, contraction and integration can be considered as prevention of logical errors, and debugging as cure.We present a construction of contraction for description logics based on the well-known partial meet contraction for belief bases from the area of belief change. We show that this construction produces more refined solutions, and we show that this construction is governed by a refined set of contraction postulates. Moreover, we recast a class of propositional knowledge integration strategies known as adjustments. We show that these strategies cannot be directly used in the description logic setting due to limitations in the expressive power of description logics. We then provide two new adjustment strategies which are appropriate for description logics, and we show that these strategies produce more refined solutions. Furthermore, we study a tableau-based algorithm that identifies the maximally satisfiable subsets (and minimally unsatisfiable subsets) of an ontology. We show that classical blocking do not guarantee completeness in the presence of cyclic definitions, and we provide revised blocking conditions and prove that they preserve both soundness and completeness. Finally, we introduce a diagrammatic approach for debugging ontologies based on Reduced Ordered Binary Decision Diagrams (ROBDDs). Advisors/Committee Members: Foo, Norman, Computer Science & Engineering, Faculty of Engineering, UNSW, Meyer, Tommie, Computer Science & Engineering, Faculty of Engineering, UNSW.

Subjects/Keywords: Knowledge representation and reasoning; Description logic; Belief change

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lee, K. (2012). Inconsistency management for description logics. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/52359 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11032/SOURCE01?view=true

Chicago Manual of Style (16th Edition):

Lee, Kevin. “Inconsistency management for description logics.” 2012. Doctoral Dissertation, University of New South Wales. Accessed June 20, 2019. http://handle.unsw.edu.au/1959.4/52359 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11032/SOURCE01?view=true.

MLA Handbook (7th Edition):

Lee, Kevin. “Inconsistency management for description logics.” 2012. Web. 20 Jun 2019.

Vancouver:

Lee K. Inconsistency management for description logics. [Internet] [Doctoral dissertation]. University of New South Wales; 2012. [cited 2019 Jun 20]. Available from: http://handle.unsw.edu.au/1959.4/52359 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11032/SOURCE01?view=true.

Council of Science Editors:

Lee K. Inconsistency management for description logics. [Doctoral Dissertation]. University of New South Wales; 2012. Available from: http://handle.unsw.edu.au/1959.4/52359 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11032/SOURCE01?view=true

.