Sciweavers

DLOG
2004
13 years 10 months ago
Extended Query Facilities for Racer and an Application to Software-Engineering Problems
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
Volker Haarslev, Ralf Möller, Ragnhild Van De...
DLOG
2004
13 years 10 months ago
OntoXpl: Exploration of OWL Ontologies
This paper describes the OWL ontology explorer OntoXpl. It is available as a web server based on the tomcat architecture. Standard HTML browsers can be used to interact with OntoX...
Volker Haarslev, Ying Lu 0003, Nematollaah Shiri
DLOG
2004
13 years 10 months ago
From SHOQ(D) Toward E-connections
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 s...
Bernardo Cuenca Grau, Bijan Parsia
DLOG
2004
13 years 10 months ago
Semantics Driven Support for Query Formulation
In this paper we describe the principles of the design and development of an intelligent query interface, done in the context of the SEWASIE (SEmantic Webs and AgentS in Integrate...
Paolo Dongilli, Enrico Franconi, Sergio Tessaris
DLOG
2004
13 years 10 months ago
Using Non-Primitive Concept Definitions for Improving DL-based Knowledge Bases
Medical Terminological Knowledge Bases contain a large number of primitive concept definitions. This is due to the large number of natural kinds that are represented, and due to t...
Ronald Cornet, Ameen Abu-Hanna
DLOG
2004
13 years 10 months ago
A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN
We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction and Contraction in ALN DL. We also analyze the computational complexity of the problems, sho...
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...
DLOG
2004
13 years 10 months ago
DL-Lite: Practical Reasoning for Rich Dls
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
DLOG
2004
13 years 10 months ago
A Description Logic Based Approach for Matching User Profiles
Several applications require the matching of user profiles, e.g., job recruitment or dating systems. In this paper we present a logical framework for specifying user profiles that...
Andrea Calì, Diego Calvanese, Simona Colucc...