Sciweavers

1512 search results - page 113 / 303
» Description Logic Terminology
Sort
View
DLOG
2008
14 years 21 days ago
Conjunctive Query Answering in SH using Knots
Answering conjunctive queries (CQs) has been recognized as a key task for the usage of Description Logics (DLs) in a number of applications. The problem has been studied by many au...
Magdalena Ortiz, Mantas Simkus, Thomas Eiter
DLOG
2008
14 years 21 days ago
ContraBovemRufum: A System for Probabilistic Lexicographic Entailment
Representing probabilistic knowledge in combination with a description logic has been a research topic for quite some time. In [1] one of such combinations is introduced. We presen...
Tobias Henrik Näth, Ralf Möller
DLOG
2008
14 years 21 days ago
Essential and Mandatory Part-Whole Relations in Conceptual Data Models
A recurring problem in conceptual modelling and ontology development is the representation of part-whole relations, with a requirement to be able to distinguish between essential a...
Alessandro Artale, C. Maria Keet
OWLED
2008
13 years 11 months ago
Conjunctive Query Answering in EL using a Database System
We study conjunctive query answering in the description logic EL, the core of the designated OWL2-EL profile of OWL2. In particular, we present an approach that allows the use of c...
Carsten Lutz, David Toman, Frank Wolter
IJCAI
2001
13 years 11 months ago
High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study
We present an empirical analysis of optimization techniques devised to speed up the so-called TBox classification supported by description logic systems which have to deal with ve...
Volker Haarslev, Ralf Möller