Sciweavers

3244 search results - page 28 / 649
» Extensions to Description Logics
Sort
View
IJCNN
2008
IEEE
14 years 2 months ago
Dynamic logic of phenomena and cognition
—Modeling of complex phenomena such as the mind presents tremendous computational complexity challenges. The neural modeling fields theory (NMF) addresses these challenges in a n...
Boris Kovalerchuk, Leonid I. Perlovsky
CADE
1999
Springer
14 years 23 days ago
System Description: inka 5.0 - A Logic Voyager
Serge Autexier, Dieter Hutter, Heiko Mantel, Axel ...
DOCENG
2004
ACM
14 years 1 months ago
A reduced yet extensible audio-visual description language
Enabling an intelligent access to multimedia data requires a powerful description language. In this paper, we demonstrate why the MPEG-7 standard fails to fulfill this task. We i...
Raphaël Troncy, Jean Carrive
DLOG
2001
13 years 10 months ago
Description of the RACER System and its Applications
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized ...
Volker Haarslev, Ralf Möller
AIMSA
2008
Springer
14 years 2 months ago
Mapping Properties of Heterogeneous Ontologies
Abstract. State of the art formalisms for distributed ontology integration provide ways to express semantic relations between concepts belonging to different ontologies. However, t...
Chiara Ghidini, Luciano Serafini