In this paper, we propose a tableau-based technique for reasoning with various distributed DL knowledge bases. This technique can be applied both to DDLs and to new and relevant sublanguages of basic E-connections. Its main advantage is that it is straightforward to implement by extending the existing tableau-based algorithms, as witnessed by our implementation in the Pellet OWL reasoner.

Memory exhaustion is a common problem in tableau-based OWL reasoners, when reasoning with large ontologies. One possible solution is to distribute the reasoning task across multiple machines. In this paper, we present, as preliminary work, a prototypical implementation for distributing OWL-EL ontologies over a Peer-to-Peer network, and reasoning with them in a distributed manner. The algorithms...

Materialized knowledge bases perform inferencing when data is loaded into them, so that answering queries is reduced to simple lookup and thus are faster. A major bottleneck of such a system is the inferencing process, which is slow and memory intensive. In this work we examine the problem of speeding up as well as scaling the inferencing process for OWL Knowledge Bases, that employ rule based ...

Document annotation is a common technique for relating text and knowledge representation. Although the semantic web emphasizes the annotation of web pages, there are other types of documents that can benefit from ontology-based annotations. PDF documents combined with OWL ontologies form semantic documents that support professional printing, on-line viewing, and ontological models. PDFTab is an...

Transitive propagation along properties can be modelled in various ways in the OWL description logic. Doing so allows existing description logic reasoners based on the tableaux algorithm to make inferences based on such transitive constructs. This is espectially useful for medical knowledge bases, where such constructs are common. This paper compares, contrasts and evaluates a variety of differ...

Nonmonotonic DL-programs provide a loose integration of Description Logic (DL) ontologies and Logic Programming (LP) rules with negation, where a rule engine can query an ontology with a native DL reasoner. However, in most systems for DL-programs, the overhead of an external DL reasoner might be considerable. Datalog-rewritable DL ontologies, such as most fragments of OWL 2 RL, OWL 2 EL, and O...

Although the OWL Web Ontology Language adds considerable expressive power to the Semantic Web it does have expressive limitations, particularly with respect to what can be said about properties. One possible solution to this problem is to extend OWL with some form of “rules” language. Several different integration frameworks have already been proposed, each having different features and limitat...

Ontological metamodeling has a variety of applications yet only very restricted forms are supported by OWL 2 directly. We propose a novel encoding scheme enabling class-based metamodeling inside the domain ontology with full reasoning support through standard OWL 2 reasoning systems. We demonstrate the usefulness of our method by applying it to the OntoClean methodology. En passant, we address ...

Ontological metamodeling has a variety of applications yet only very restricted forms are supported by OWL 2 directly. We propose a novel encoding scheme enabling class-based metamodeling inside the domain ontology with full reasoning support through standard OWL 2 reasoning systems. We demonstrate the usefulness of our method by applying it to the OntoClean methodology. En passant, we address ...

OWLOOP is an Application Programming Interface (API) for using the Ontology Web Language (OWL) by means of Object-Oriented (OOP). It common to design software architectures OOP paradigm increasing their modularity. If components architecture also exploit OWL ontologies knowledge representation and reasoning, they would require be interfaced with axioms. Since does not adhere paradigm, such inte...