RacerPro is a software system for building applications based on ontologies. The backbone
of RacerPro is a description logic reasoner. It provides inference services for terminological …

Answering conjunctive queries over ontology-enriched datasets is a core reasoning task for
many applications. Query answering is, however, computationally very expensive, which …

Semantic Web Services discovery is commonly a heavyweight task, which has scalability
issues when the number of services or the ontology complexity increase, because most …

The SPARQL query language is currently being extended by the World Wide Web
Consortium (W3C) with so-called entailment regimes. An entailment regime defines how …

This paper presents an approach to system-of-systems engineering for product development
with the use of ontology. A proposed method for building as well as using ontology to …

Abstract Mainstream research in Description Logics (DLs) until recently concentrated on
increasing the expressive power of the employed description language while kee** …

The concept of system-of-systems is becoming increasingly common and relevant in many
engineering applications. Today's highly interconnected world entails that more and more …

Abstract General Concept Inclusion (GCI) absorption algorithms have shown to play an
important role in classical Description Logic (DL) reasoners. They allow to transform GCIs …

In this paper we consider the impact of the Semantic Web and logical means on a wide
range of developers solving traditional tasks on the WWW. How to make the'elite'logic tools …

System-of-Systems Engineering (SoSE) has become a constantly growing field within
product development for complex systems. Systems are becoming more and more …