Sciweavers

706 search results - page 14 / 142
» Conceptual Modeling with Description Logics
Sort
View
232
Voted
APWEB
2011
Springer
15 years 27 days ago
A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description lo...
Xiaowang Zhang, Zuoquan Lin, Kewen Wang
ER
2004
Springer
103views Database» more  ER 2004»
15 years 11 months ago
Modeling Default Induction with Conceptual Structures
Our goal is to model the way people induce knowledge from rare and sparse data. This paper describes a theoretical framework for inducing knowledge from these incomplete data descr...
Julien Velcin, Jean-Gabriel Ganascia
VLDB
1989
ACM
88views Database» more  VLDB 1989»
15 years 10 months ago
On the design and implementation of information systems from deductive conceptual models
Deductive conceptualmodels(DCMs) aim at providing a complete specification of information systems,expressing only its logic component.It hasbeenshownthatDCMs have some advantagesw...
Antoni Olivé
CADE
2001
Springer
16 years 6 months ago
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed up TBox and ABox reasoning ...
Anni-Yasmin Turhan, Ralf Möller, Volker Haars...
153
Voted
CONTEXT
2007
Springer
16 years 1 days ago
Modeling Adaptive Behavior with Conceptual Spaces
Abstract. We discuss a membrane-based calculus for the combination of conceptual spaces during runtime. Since our goal is to support emergent properties of behavior (and due to the...
Michael Cebulla