DLOG 2004 | Sciweavers

20

click to vote

DLOG
2004

101views Automated Reasoning» more DLOG 2004»

Tableau Systems for SHIO and SHIQ

13 years 10 months ago

Download sunsite.informatik.rwth-aachen.de

Jan Hladik, Jörg Model

claim paper

Read More »

32

click to vote

DLOG
2004

111views Automated Reasoning» more DLOG 2004»

Extended Query Facilities for Racer and an Application to Software-Engineering Problems

13 years 10 months ago

Download www.racer-systems.com

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...

claim paper

Read More »

27

click to vote

DLOG
2004

87views Automated Reasoning» more DLOG 2004»

OntoXpl: Exploration of OWL Ontologies

13 years 10 months ago

Download sunsite.informatik.rwth-aachen.de

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

claim paper

Read More »

28

click to vote

DLOG
2004

105views Automated Reasoning» more DLOG 2004»

From SHOQ(D) Toward E-connections

13 years 10 months ago

Download www.mindswap.org

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

claim paper

Read More »

33

click to vote

DLOG
2004

159views Automated Reasoning» more DLOG 2004»

Semantics Driven Support for Query Formulation

13 years 10 months ago

Download sunsite.informatik.rwth-aachen.de

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

claim paper

Read More »

26

click to vote

DLOG
2004

123views Automated Reasoning» more DLOG 2004»

Using Non-Primitive Concept Definitions for Improving DL-based Knowledge Bases

13 years 10 months ago

Download sunsite.informatik.rwth-aachen.de

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

claim paper

Read More »

34

click to vote

DLOG
2004

144views Automated Reasoning» more DLOG 2004»

A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN

13 years 10 months ago

Download sunsite.informatik.rwth-aachen.de

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...

claim paper

Read More »

17

click to vote

DLOG
2004

90views Automated Reasoning» more DLOG 2004»

DL-Lite: Practical Reasoning for Rich Dls

13 years 10 months ago

Download sunsite.informatik.rwth-aachen.de

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

25

click to vote

DLOG
2004

111views Automated Reasoning» more DLOG 2004»

A Description Logic Based Approach for Matching User Profiles

13 years 10 months ago

Download www.inf.unibz.it

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...

claim paper

Read More »

33

click to vote

DLOG
2004

138views Automated Reasoning» more DLOG 2004»

Towards Implementing Finite Model Reasoning in Description Logics

13 years 10 months ago