Sciweavers

1568 search results - page 8 / 314
» Fusions of Description Logics
Sort
View
DLOG
2004
14 years 11 months ago
The Instance Store: DL Reasoning with Large Numbers of Individuals
We present an application
Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer
WILF
2007
Springer
101views Fuzzy Logic» more  WILF 2007»
15 years 3 months ago
Exploring the Application of Fuzzy Logic and Data Fusion Mechanisms in QAS
In this paper we explore the application of fuzzy logic and data fusion techniques to improve the performance of passage retrieval in open domain Question Answering Systems (QAS). ...
Daniel Ortiz Arroyo, Hans Ulrich Christensen
TABLEAUX
1999
Springer
15 years 1 months ago
Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems
In this paper we present the results of applying HAM-ALC, a description logic system for ALCNR, to modal logic SAT problems.
Volker Haarslev, Ralf Möller
95
Voted
FUZZIEEE
2007
IEEE
15 years 4 months ago
f-DLPs: Extending Description Logic Programs with Fuzzy Sets and Fuzzy Logic
— The Semantic Web can be viewed as largely about “Knowledge meets the Web”. Thus its vision includes ontologies and rules. A key requirement for the architecture of the Sema...
Tassos Venetis, Giorgos Stoilos, Giorgos B. Stamou...
IJCAI
2003
14 years 11 months ago
On the Undecidability of Description and Dynamic Logics with Recursion and Counting
The evolution of Description Logics (DLs) and Propositional Dynamic Logics produced a hierar­ chy of decidable logics with multiple maximal el­ ements. It would be desirable to ...
Piero A. Bonatti