The role of unsatisfiable Boolean constraints in lightweight description logics
|Title:||The role of unsatisfiable Boolean constraints in lightweight description logics||Authors:||Arif, Muhammad Fareed||Permanent link:||http://hdl.handle.net/10197/8595||Date:||2016||Online since:||2017-06-14T08:43:53Z||Abstract:||Lightweight Description Logics (e.g. EL, EL+ etc.) are commonly used languagesto represent life science ontologies. In such languages ontology classification– the problem of computing all the subsumption relations – is tractableand used to characterize all the classes and properties in any given ontology.Despite the fact that classification is tractable in EL+, axiom pinpointing – theproblem of computing the reasons of an (unintended) subsumption relation –is still worst-case exponential. This thesis proposes state-of-the art SAT-basedaxiom pinpointing methods for the Lightweight Description Logic EL+. Theseaxiom pinpointing methods emanate from the analysis of minimal unsatisfiableboolean constraints using hitting set dualization that is also related toReiter’s model-based diagnosis. Its consequences are significant both in termsof algorithms (i.e., MUS extraction and enumeration methods) as well as understandingaxiom pinpointing in Lightweight Description Logics through theprism of minimal unsatisfiable boolean constraints and its related problems(i.e., hypergraph transversal).||Type of material:||Doctoral Thesis||Publisher:||University College Dublin. School of Computer Science||Qualification Name:||Ph.D.||Copyright (published version):||2016 the author||Keywords:||Axiom Pinpointing; Description Logic; Lightweight DLs; Ontology Debugging; SAT Theory||Other versions:||http://dissertations.umi.com/ucd:10119||Language:||en||Status of Item:||Peer reviewed|
|Appears in Collections:||Computer Science Theses|
Show full item record
This item is available under the Attribution-NonCommercial-NoDerivs 3.0 Ireland. No item may be reproduced for commercial purposes. For other possible restrictions on use please refer to the publisher's URL where this is made available, or to notes contained in the item itself. Other terms may apply.