Toward expressive syndication on the web
Proceedings of the 16th international conference on World Wide Web
Debugging Incoherent Terminologies
Journal of Automated Reasoning
Ontology change: Classification and survey
The Knowledge Engineering Review
Syndication on the Web using a description logic approach
Web Semantics: Science, Services and Agents on the World Wide Web
Adaptation through Planning in Knowledge Intensive CBR
ECCBR '08 Proceedings of the 9th European conference on Advances in Case-Based Reasoning
Laconic and Precise Justifications in OWL
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
A decision support system for secure information sharing
Proceedings of the 14th ACM symposium on Access control models and technologies
Learning from Inconsistencies in an Integrated Cognitive Architecture
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Explaining Inconsistencies in OWL Ontologies
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Scalable semantic retrieval through summarization and refinement
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Repairing the Missing is-a Structure of Ontologies
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
I-Cog: a computational framework for integrated cognition of higher cognitive abilities
MICAI'07 Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence
Scalable cleanup of information extraction data using ontologies
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
A fine-grained approach to resolving unsatisfiable ontologies
Journal on data semantics X
Assessing trust in uncertain information using Bayesian description logic
Proceedings of the 17th ACM conference on Computer and communications security
Model driven engineering with ontology technologies
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Assessing trust in uncertain information
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Justification oriented proofs in OWL
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
SPARQL query answering with RDFS reasoning on correlated probabilistic data
WAIM'11 Proceedings of the 12th international conference on Web-age information management
Root justifications for ontology repair
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Repairing and reasoning with inconsistent and uncertain ontologies
Advances in Engineering Software
Argumentation-Based reasoning with inconsistent knowledge bases
AI'10 Proceedings of the 23rd Canadian conference on Advances in Artificial Intelligence
Description logic reasoning with syntactic updates
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Cooperative situation assessment in a maritime scenario
International Journal of Intelligent Systems
Planning accessible explanations for entailments in OWL ontologies
INLG '12 Proceedings of the Seventh International Natural Language Generation Conference
Extracting justifications from bioportal ontologies
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
A framework for empirical evaluation of belief change operators
SBIA'12 Proceedings of the 21st Brazilian conference on Advances in Artificial Intelligence
AOW '07 Proceedings of the Third Australasian Workshop on Advances in Ontologies - Volume 85
BUNDLE: a reasoner for probabilistic ontologies
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
An ontology-based framework for domain-specific modeling
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
With the advent of Semantic Web languages such as OWL (Web Ontology Language), the expressive Description Logic SHOIN is exposed to a wider audience of ontology users and developers. As an increasingly large number of OWL ontologies become available on the Semantic Web and the descriptions in the ontologies become more complicated, finding the cause of errors becomes an extremely hard task even for experts. The problem is worse for newcomers to OWL who have little or no experience with DL-based knowledge representation. Existing ontology development environments, in conjunction with a reasoner, provide some limited debugging support, however this is restricted to merely reporting errors in the ontology, whereas bug diagnosis and resolution is usually left to the user. In this thesis, I present a complete end-to-end framework for explaining, pinpointing and repairing semantic defects in OWL-DL ontologies (or in other words, SHOIN a knowledge base). Semantic defects are logical contradictions that manifest as either inconsistent ontologies or unsatisfiable concepts. Where possible, I show extensions to handle related defects such as unsatisfiable roles, unintended entailments and non-entailments, or defects in OWL ontologies that fall outside the DL scope (OWL-Full). The main contributions of the thesis include: (1) Definition of three novel OWL-DL debugging/repair services: Axiom Pinpointing, Root Error Pinpointing and Ontology Repair. This includes formalizing the notion of precise justifications for arbitrary OWL entailments (used to identify the cause of the error), root/derived unsatisfiable concepts (used to prune the error space) and semantic/syntactic relevance of axioms (used to rank erroneous axioms). (2) Design and Analysis of decision procedures (both glass-box or reasoner dependent, and black-box or reasoner independent) for implementing the services. (3) Performance and Usability evaluation of the services on realistic OWL-DL ontologies, which demonstrate its practical use and significance for OWL ontology modelers and users.