Sciweavers

1582 search results - page 107 / 317
» On Higher-Order Description Logics
Sort
View
JAR
2011
63views more  JAR 2011»
14 years 5 months ago
ABox Abduction in the Description Logic ALC
Szymon Klarman, Ulle Endriss, Stefan Schlobach
JAR
2010
139views more  JAR 2010»
14 years 4 months ago
Incremental Classification of Description Logics Ontologies
The development of ontologies involves continuous but relatively small modifications. However, existing ontology reasoners do not take advantage of the similarities between differe...
Bernardo Cuenca Grau, Christian Halaschek-Wiener, ...
CSREAESA
2004
14 years 11 months ago
CMOS Implementation of Phase-Encoded Complex-Valued Artificial Neural Networks
- The model of a simple perceptron using phase-encoded inputs and complex-valued weights is presented. Multilayer two-input and three-input complex-valued neurons (CVNs) are implem...
Howard E. Michel, David Rancour, Sushanth Iringent...
DLOG
2009
14 years 7 months ago
Relativizing Concept Descriptions to Comparison Classes
Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of representing and reasoning with contextual knowledge ha...
Szymon Klarman, Stefan Schlobach