1435 search results - page 139 / 287 » Description Logics |
129
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
129
click to vote
ENTCS
2007
15 years 4 months ago
2007
Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications, they are perhaps best known as the basis for ...
160
click to vote
FOIKS
2006
Springer
15 years 7 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
170
click to vote
SEBD
2001
15 years 5 months ago
2001
This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear ...
127
click to vote
PERCOM
2006
ACM
16 years 3 months ago
2006
ACM
In this paper we present an integrated view for modeling and reasoning for context applications using OWL DL. In our case study, we describe a task driven approach to model typica...