112 search results - page 13 / 23 » Conjunctive Query Answering for the Description Logic SHIQ |
100
click to vote
AIIA
2007
Springer
15 years 3 months ago
2007
Springer
A procedure founded in instance-based learning is presented, for performing a form of analogical reasoning on knowledge bases expressed in a wide range of ontology languages. The p...
109
click to vote
AAAI
2008
14 years 10 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
125
Voted
HIS
2009
14 years 7 months ago
2009
Recent years have witnessed the wide recognition of the importance of ontology and rule in the AI research. In this paper, we report our implementation and evaluation of a rule-ba...
ICDT
2003
ACM
15 years 2 months ago
2003
ACM
Abstract. Repairing a database means bringing the database in accordance with a given set of integrity constraints by applying modifications that are as small as possible. In the ...
KI
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Knowledge compilation is a common technique for propositional logic knowledge bases. The idea is to transform a given knowledge base into a special normal form ([MR03],[D...