54 search results - page 4 / 11 » Temporalising Tractable Description Logics |
DLOG
2006
13 years 9 months ago
2006
Fuzzy Description Logics have been proposed in the literature as a way to represent and reason with vague and imprecise knowledge. Their decidability, the empirically tractable an...
DLOG
2011
12 years 11 months ago
2011
We propose an extension of SROIQ with nominal schemas which can be used like “variable nominal concepts” within axioms. This feature allows us to express arbitrary DL-safe rule...
AUSAI
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. Description logics are powerful knowledge representation systems providing well-founded and computationally tractable classification reasoning. However recognition of in...
CADE
2002
Springer
14 years 8 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The aim of this paper is to study semantic notions of modularity in description logic (DL) terminologies and reasoning problems that are relevant for modularity. We defin...