Sciweavers

DLOG
2008
15 years 9 months ago
Subsumption Propagation between Remote Ontologies in Distributed Description Logic
Distributed Description Logics (DDL) is a KR formalism that enables reasoning with multiple ontologies interconnected by directional semantic mapping. Subsumption propagation in DD...
Martin Homola
FLAIRS
2007
15 years 9 months ago
Learning Uncertain Rules with CONDORCKD
CONDORCKD is a system implementing a novel approach to discovering knowledge from data. It addresses the issue of relevance of the learned rules by algebraic means and explicitly ...
Jens Fisseler, Gabriele Kern-Isberner, Christoph B...
DLOG
2008
15 years 9 months ago
Unifying Industry-grade Class-based Conceptual Data Modeling Languages with CMcom
Abstract. From the side of modelers and early-adopter industry, interest in reasoning over conceptual models and other online usage of conceptual models is growing. To obtain a mor...
C. Maria Keet
FLAIRS
2007
15 years 9 months ago
Finding Data, Knowledge, and Answers on the Semantic Web
Web search engines like Google have made us all smarter by providing ready access to the world's knowledge whenever we need to look up a fact, learn about a topic or evaluate...
Timothy W. Finin, Joel Sachs, Cynthia Sims Parr
DLOG
2008
15 years 9 months ago
The SAT-Tableau Calculus
Uwe Keller, Stijn Heymans