In this paper, we describe scalable highly expressive reasoner (SHER), a breakthrough
technology that provides semantic querying of large relational datasets using OWL …

With enormous data emerging on the Web, traditional keyword searching is challenged by
short queries posed by users to vaguely describe their information need. Query expansion …

I will provide an overview of many of the use cases that we looked at to apply OWL ABox
reasoning in the real world. The fields we covered included (a) healthcare, and life sciences …

Scalability of reasoning systems is one of the main criteria which will determine the success
of Semantic Web systems in the future. The focus of recent work is either on (a) systems …

We address the problem of semantic querying of relational databases (RDB) modulo
knowledge bases using very expressive knowledge representation formalisms, such as full …

Abstract Knowledge Management (KM) asks for information-intensive services over large
amount of data, modeling the intellectual capital of an organization. To combine the …

We present a framework for logic-based matchmaking on ALN ABoxes stored in a relational
database. The proposed approach allows both non-standard reasoning and subsumption …

We address the problem of semantic querying of relational databases (RDB) modulo
knowledge bases using very expressive knowledge representation formalisms, such as full …

Most of approaches for scalable reasoning over OWL ontology are to apply logic rules to the
facts and axioms about individuals stored with the specialized triple format as shown in …

The closure of an RDF (S) source reveals the implicit semantics that it implies. In order to
improve reasoning efficiency, researchers proposed to generate the RDFS closure for …