BibSonomy :: publication ::

tag user group author concept BibTeX key search:all search:conchuir

The blue social bookmark and publication sharing system.

(0)

This publication has not been reviewed yet.

rating distribution

average user rating

The average rating is computed over all reviews. However, some of them may be invisible to you due to the visibility setting chosen by the reviewers.

(0.0 of 5.0 based on 0 reviews)

A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments

by: Boontawee Suntisrivaraporn, Guilin Qi, Qiu Ji, and Peter Haase

In: The Semantic Web (2008) , p. 1--15.

Resources (URL, PDF, PS...)

URL:	http://dx.doi.org/10.1007/978-3-540-89704-0\_1
DOI:	10.1007/978-3-540-89704-0\_1

Finding the justifications for an entailment i.e., minimal sets of axioms responsible for it is a prominent reasoning service in ontology engineering, as justifications facilitate important tasks like debugging inconsistencies or undesired subsumption. Though several algorithms for finding all justifications exist, issues concerning efficiency and scalability remain a challenge due to the sheer size of real-life ontologies. In this paper, we propose a novel method for finding all justifications in OWL DL ontologies by limiting the search space to smaller modules. To this end, we show that so-called locality-based modules cover all axioms in the justifications. We present empirical results that demonstrate an improvement of several orders of magnitude in efficiency and scalability of finding all justifications in OWL DL ontologies.

BibTeX record

@incollection{citeulike:4039575,
  abstract = {Finding the justifications for an entailment (i.e., minimal sets of axioms responsible for it) is a prominent reasoning service in ontology engineering, as justifications facilitate important tasks like debugging inconsistencies or undesired subsumption. Though several algorithms for finding all justifications exist, issues concerning efficiency and scalability remain a challenge due to the sheer size of real-life ontologies. In this paper, we propose a novel method for finding all justifications in OWL DL ontologies by limiting the search space to smaller modules. To this end, we show that so-called locality-based modules cover all axioms in the justifications. We present empirical results that demonstrate an improvement of several orders of magnitude in efficiency and scalability of finding all justifications in OWL DL ontologies.},
  added-at = {2009-02-13T13:22:04.000+0100},
  author = {Suntisrivaraporn, Boontawee and Qi, Guilin and Ji, Qiu and Haase, Peter},
  biburl = {http://www.bibsonomy.org/bibtex/23901dc7459732be9e86e287361f5d93b/conchuir},
  citeulike-article-id = {4039575},
  doi = {http://dx.doi.org/10.1007/978-3-540-89704-0\_1},
  interhash = {24e66f673412b85ed260b323efbc1e92},
  intrahash = {3901dc7459732be9e86e287361f5d93b},
  journal = {The Semantic Web},
  keywords = {OWL aswc08},
  pages = {1--15},
  posted-at = {2009-02-12 17:08:10},
  priority = {2},
  timestamp = {2009-02-13T13:22:04.000+0100},
  title = {A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments},
  url = {http://dx.doi.org/10.1007/978-3-540-89704-0\_1},
  year = 2008
}

Endnote record

%0 Book Section
%1 citeulike:4039575
%A Suntisrivaraporn, Boontawee
%A Qi, Guilin
%A Ji, Qiu
%A Haase, Peter
%D 2008
%J The Semantic Web
%K 
%P 1--15
%T A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments
%R http://dx.doi.org/10.1007/978-3-540-89704-0\_1
%U http://dx.doi.org/10.1007/978-3-540-89704-0\_1
%X Finding the justifications for an entailment (i.e., minimal sets of axioms responsible for it) is a prominent reasoning service in ontology engineering, as justifications facilitate important tasks like debugging inconsistencies or undesired subsumption. Though several algorithms for finding all justifications exist, issues concerning efficiency and scalability remain a challenge due to the sheer size of real-life ontologies. In this paper, we propose a novel method for finding all justifications in OWL DL ontologies by limiting the search space to smaller modules. To this end, we show that so-called locality-based modules cover all axioms in the justifications. We present empirical results that demonstrate an improvement of several orders of magnitude in efficiency and scalability of finding all justifications in OWL DL ontologies.

BibSonomy :: publication ::

A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments

Resources (URL, PDF, PS...)

Abstract

BibTeX record

Endnote record