Sciweavers

116 search results - page 13 / 24
» Query Answering for OWL-DL with Rules
Sort
View
SEMWEB
2010
Springer
14 years 7 months ago
Using Reformulation Trees to Optimize Queries over Distributed Heterogeneous Sources
Abstract. In order to effectively and quickly answer queries in environments with distributed RDF/OWL, we present a query optimization algorithm to identify the potentially relevan...
Yingjie Li, Jeff Heflin
ICLP
2010
Springer
15 years 1 months ago
Dynamic Magic Sets for Disjunctive Datalog Programs
Abstract. Answer set programming (ASP) is a powerful formalism for knowledge representation and common sense reasoning that allows disjunction in rule heads and nonmonotonic negati...
Mario Alviano
110
Voted
KESAMSTA
2007
Springer
15 years 3 months ago
Ontology Agent Based Rule Base Fuzzy Cognitive Maps
This work proposes a framework for the design and development of Ontology Agents oriented to manage Rule Base Fuzzy Cognitive Maps (RBFCM). The approach takes into account the foun...
Alejandro Peña Ayala, Humberto Sossa, Franc...
CVIU
1999
104views more  CVIU 1999»
14 years 9 months ago
Interactively Matching Hand-Drawings Using Induction
In this paper we consider the task of matching patterns, as occur in hand-drawn symbols and schematic diagrams, by their parts and relationships. Of particular interest for comput...
Adrian R. Pearce, Terry Caelli
AAAI
2011
13 years 9 months ago
Stopping Rules for Randomized Greedy Triangulation Schemes
Many algorithms for performing inference in graphical models have complexity that is exponential in the treewidth - a parameter of the underlying graph structure. Computing the (m...
Andrew Gelfand, Kalev Kask, Rina Dechter