Sciweavers

408 search results - page 45 / 82
» Reasoning with Very Expressive Fuzzy Description Logics
Sort
View
DLOG
2010
13 years 5 months ago
Towards Formal Comparison of Ontology Linking, Mapping and Importing
Multiple distributed and modular ontology representation frameworks have recently appeared. They typically extend Description Logics (DL), with new constructs to represent relation...
Martin Homola, Luciano Serafini
FUZZIEEE
2007
IEEE
14 years 1 months ago
Toward Multiple-agent Extensions of Possibilistic Logic
— Possibilistic logic is essentially a formalism for handling qualitative uncertainty with an inference machinery that remains close to the one of classical logic. It is capable ...
Didier Dubois, Henri Prade
DLOG
2007
13 years 10 months ago
Conjunctive Query Entailment for SHOQ
An important reasoning task, in addition to the standard DL reasoning services, is conjunctive query answering. In this paper, we present a decision procedure for conjunctive query...
Birte Glimm, Ian Horrocks, Ulrike Sattler
FSKD
2007
Springer
157views Fuzzy Logic» more  FSKD 2007»
13 years 9 months ago
Semantics-Based Art Image Retrieval Using Linguistic Variable
More and more digitized art images are accumulated and expanded in our daily life and techniques need to be established on how to organize and retrieval them. Though content-based...
Qingyong Li, Siwei Luo, Zhongzhi Shi
LPNMR
2005
Springer
14 years 1 months ago
Revisiting the Semantics of Interval Probabilistic Logic Programs
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying ...
Alex Dekhtyar, Michael I. Dekhtyar