The role of unsatisfiable Boolean constraints in lightweight description logics

Files in This Item:
File Description SizeFormat 
Arif_ucd_5090D_10119.pdf6.41 MBAdobe PDFDownload
Title: The role of unsatisfiable Boolean constraints in lightweight description logics
Authors: Arif, Muhammad Fareed
Permanent link:
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 PinpointingDescription LogicLightweight DLsOntology DebuggingSAT Theory
Other versions:
Language: en
Status of Item: Peer reviewed
Appears in Collections:Computer Science Theses

Show full item record

Download(s) 50

checked on May 25, 2018

Google ScholarTM


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.