1436 search results - page 171 / 288 » Description Logic Unplugged |
DLOG
2007
15 years 17 days ago
2007
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...
86
Voted
DLOG
2007
15 years 17 days ago
2007
We develop a formal framework for modular ontologies by analysing four notions of conservative extensions and their applications in refining, re-using, merging, and segmenting ont...
86
Voted
DLOG
2008
15 years 17 days ago
2008
We show how the reasoning tasks of checking various versions of conservativity for the description logic DL-Litebool can be reduced to satisfiability of quantified Boolean formulas...
71
Voted
DLOG
2004
14 years 11 months ago
2004
This paper proposes constructs that can be used to declaratively specify the disjoint nature of object properties or roles. These constructs may be a useful extension to the Descr...
74
Voted
EUSFLAT
2001
14 years 11 months ago
2001
In this paper we shall describe a very natural extension of MV-algebras, the divisible MV-algebras (DMV). Such algebraic structures will be used to give a formal description of ru...