Sciweavers

3032 search results - page 113 / 607
» Description Logic Rules
Sort
View
75
Voted
JAR
2011
63views more  JAR 2011»
14 years 7 months ago
ABox Abduction in the Description Logic ALC
Szymon Klarman, Ulle Endriss, Stefan Schlobach
151
Voted
JAR
2010
139views more  JAR 2010»
14 years 7 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, ...
87
Voted
DLOG
2011
14 years 4 months ago
Mapping Data to Higher-Order Description Logic Knowledge Bases
Floriana Di Pinto, Giuseppe De Giacomo, Maurizio L...
130
Voted
IFSA
2007
Springer
147views Fuzzy Logic» more  IFSA 2007»
15 years 7 months ago
On Proofs and Rule of Multiplication in Fuzzy Attribute Logic
Abstract. The paper develops fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form A ⇒ B where A and B are fuzzy sets of attributes. A formula A ⇒ B repr...
Radim Belohlávek, Vilém Vychodil
116
Voted
DLOG
2009
14 years 10 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