Sciweavers

1285 search results - page 62 / 257
» Description Logic Reasoner: System Description
Sort
View
DLOG
2003
15 years 3 months ago
Relationships with other Formalisms
In this chapter, we are concerned with the relationship between Description Logics and other formalisms, regardless of whether they were designed for knowledge representation issu...
Ulrike Sattler, Diego Calvanese, Ralf Molitor
DLOG
1997
15 years 2 months ago
Experiments with the DFL Hybrid System
Abstract. In this short paper we describe the DFL hybrid knowledge base, that integrates descriptions with expressive object-oriented rules. The knowledge base manages a database o...
Mira Balaban, Adi Eyal
AMAI
2008
Springer
15 years 1 months ago
Default logic generalized and simplified
We provide a description of generalized default logic as a unified formalism for nonmonotonic reasoning. Special attention will be paid to the role of the monotonic logic underlyi...
Alexander Bochman
DLOG
2009
14 years 11 months ago
Model-Based Most Specific Concepts in Some Inexpressive Description Logics
Abstract. Model-based most specific concepts are a non-standard reasoning service in Description Logics. They have turned out to be useful in knowledge base completion for ontologi...
Felix Distel
SEMWEB
2007
Springer
15 years 7 months ago
Extending Fuzzy Description Logics with a Possibilistic Layer
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. As a solution we will combine fuzzy Description Logics with a possibilistic layer....
Fernando Bobillo, Miguel Delgado, Juan Góme...