427 search results - page 46 / 86 » e-Service Composition by Description Logics Based Reasoning |
180
click to vote
EDBT
2002
ACM
16 years 4 months ago
2002
ACM
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...
141
click to vote
PSSS
2003
15 years 5 months ago
2003
Abstract: We present DLDB, a knowledge base system that extends a relational database management system with additional capabilities for DAML+OIL inference. We discuss a number of ...
137
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. In this paper we describe a new tool for performing KnuthBendix completion with automatic termination tools. It is based on two ingredients: (1) the inference system for ...
120
click to vote
DLOG
1996
15 years 5 months ago
1996
To ensure the re-use of domain ontologies the usual approach relies on a pivot language, e.g., Kif, intoandfromwhich the domainontologyis translated. This requires several distinc...
119
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. In a recent paper, we have sho...