Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
290
V.: Parallel OWL reasoning: Merge classification
- In: The Third Joint International Semantic Technology Conference (2013
"... Abstract. Our research is motivated by the ubiquitous availability of multiproces-sor computers and the observation that available Web Ontology Language (OWL) reasoners only make use of a single processor. This becomes rather frustrating for users working in ontology development, especially if their ..."
Abstract
-
Cited by 3 (2 self)
- Add to MetaCart
if their ontologies are complex and require long processing times using these OWL reasoners. We present a novel algorithm that uses a divide and conquer strategy for parallelizing OWL TBox clas-sification, a key task in description logic reasoning. We discuss some interesting properties of our algorithm, e.g., its
TBox Classification in Parallel: Design and First Evaluation
"... Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emerging OWL ontologies from the web community consisting of up to hundreds of thousand of named classes and the increasing ..."
Abstract
-
Cited by 3 (2 self)
- Add to MetaCart
availability of multi-processor and multi- or manycore computers, we extend the work on parallel TBox classification and propose a new algorithm that is sound and complete and demonstrates in a first experimental evaluation a low overhead in the number of subsumption tests due to parallel execution. 1
FaCT++ description logic reasoner: System description
- In Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006
, 2006
"... Abstract. This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additional support for datatypes, including strings and integers. The system employs a wide range of performance enh ..."
Abstract
-
Cited by 319 (35 self)
- Add to MetaCart
enhancing optimisations, including both standard techniques (such as absorption and model merging) and newly developed ones (such as ordering heuristics and taxonomic classification). FaCT++ can, via the standard DIG interface, be used to provide reasoning services for ontology engineering tools supporting
A Divide and Conquer Approach for Parallel Classification of OWL Ontologies (submitted to special issue on Web Reasoning and Rule Systems)
"... Abstract. Description Logic (DL) describes knowledge using entities and rela-tionships between them, and TBox classification is a core DL reasoning service. Over more than two decades many research efforts have been devoted to optimiz-ing TBox classification. Those classification optimization algori ..."
Abstract
- Add to MetaCart
novel algorithm that uses a divide and conquer strategy for parallelizing OWL TBox classification, a key reasoning task. We dis-cuss some interesting properties of our algorithm, for example, its suitability for distributed reasoning, and present an empirical study using a set of benchmark ontologies
A T-Box Generator for testing scalability of OWL mereotopological patterns
"... Abstract. The representation of biomedical structure- from cellular components to organisms- in biomedical ontologies is of pivotal importance, as the internal structure of complex structured objects needs to be referenced in the definition of processes, disorders, phenotypes and many other entities ..."
Abstract
- Add to MetaCart
. In order to evaluate the DL reasoning performance for these patterns, we have created a T-Box Generator to programmatically generate small and large experimental T-Boxes with different reasoning complexities resulting from the relative proportions of the patterns (i) to (iii). Classification times have
Parallel TBox Classification in Description Logics – First Experimental Results
"... Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emerging OWL ontologies from the web community consisting of up to hundreds of thousand of named classes and the increasing ..."
Abstract
-
Cited by 19 (3 self)
- Add to MetaCart
availability of multi-processor and multi- or many-core computers, we extend our work on parallel TBox classification and propose a new algorithm that is sound and complete and demonstrates in a first experimental evaluation a low overhead w.r.t. subsumption tests (less than 3%) if compared with sequential
Towards Parallel Classification of TBoxes
"... Abstract. One of the most frequently used inference services of description logic reasoners is the classification of TBoxes with a subsumption hierarchy of all named concepts as the result. In response to (i) emerging TBoxes from the semantic web community consisting of up to hundreds of thousand of ..."
Abstract
-
Cited by 5 (0 self)
- Add to MetaCart
Abstract. One of the most frequently used inference services of description logic reasoners is the classification of TBoxes with a subsumption hierarchy of all named concepts as the result. In response to (i) emerging TBoxes from the semantic web community consisting of up to hundreds of thousand
Conjunctive Query Inseparability of OWL 2 QL TBoxes
, 2011
"... The OWL 2 profile OWL 2 QL, based on the DL-Lite fam-ily of description logics, is emerging as a major language for developing new ontologies and approximating the existing ones. Its main application is ontology-based data access, where ontologies are used to provide background knowledge for answeri ..."
Abstract
-
Cited by 9 (5 self)
- Add to MetaCart
The OWL 2 profile OWL 2 QL, based on the DL-Lite fam-ily of description logics, is emerging as a major language for developing new ontologies and approximating the existing ones. Its main application is ontology-based data access, where ontologies are used to provide background knowledge
Updating TBoxes in DL-Lite
- IN: PROC. OF DL 2010. VOLUME 573 OF CEUR
, 2010
"... We study the problem of updates for TBoxes represented in Description Logics of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the tractable fragments of OWL 2, the recently proposed revision of the Web Ontology Language. In this paper, we address for the first time the problem of ..."
Abstract
-
Cited by 5 (1 self)
- Add to MetaCart
We study the problem of updates for TBoxes represented in Description Logics of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the tractable fragments of OWL 2, the recently proposed revision of the Web Ontology Language. In this paper, we address for the first time the problem
Results 1 - 10
of
290
