In this paper we present MASTRO, a Java tool for ontology-based data access (OBDA)
developed at Sapienza Università di Roma and at the Free University of Bozen-Bolzano …

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 …

Tableau algorithms are currently the most widely used and empirically the fastest algorithms
for reasoning in expressive description logics, including the important description logics …

In this paper we present Mastro, a Java tool for ontologybased data access (OBDA)
developed at Sapienza Universita di Roma. Mastro manages OBDA systems in which the …

Benchmarking DL Reasoners Using Realistic Ontologies Page 1 Benchmarking DL
Reasoners Using Realistic Ontologies Zhengxiang Pan Bell Labs Research and Lehigh …

We study the case of integrating situational reasoning into a mobile service recommendation
system. Since mobile Internet services are rapidly proliferating, finding and using …

Although nowadays powerful semantic web toolkits exist, these frameworks are still hard to
apply for designing applications, since they often focus on fixed representation structures …

This report aims at summarizing the current activities around OWL, the Web Ontology
Language. At first, the report will present details about the current effort towards a revision of …

During the development of an ontology it may be important to know which is the logic
underlying that particular ontology, so that the developer knows what the expected …

Description Logic systems are a form of knowledge representation and reasoning systems
that allow to represent and to reason about conceptual, ie, terminological knowledge. The …