1317 search results - page 65 / 264 » Fusions of Description Logics and Abstract Description Syste... |
JANCL
2000
15 years 1 months ago
2000
Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion o...
117
click to vote
DLOG
2009
14 years 11 months ago
2009
Abstract. Description Logic Programs (DLP) have been described as a description logic (DL) that is in the "expressive intersection" of DL and datalog. This is a very weak...
166
click to vote
FROCOS
2009
Springer
15 years 8 months ago
2009
Springer
We investigate the temporal extension of the description logic DL-Lite(RN ) bool with the until operator on concepts, rigid (time-independent) and local (time-dependent) roles, and...
149
click to vote
EPIA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent...
132
click to vote
OTM
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we describe a fuzzy Description Logic reasoner which implements resolution in order to provide reasoning services for expressive fuzzy DLs. The main innovation of thi...