593 search results - page 44 / 119 » RDF and Logic: Reasoning and Extension |
125
click to vote
TPHOL
1998
IEEE
15 years 4 months ago
1998
IEEE
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
121
Voted
RR
2010
Springer
14 years 11 months ago
2010
Springer
Translations to (first-order) datalog have been used in a number of inferencing techniques for description logics (DLs), yet the relationship between the semantic expressivities o...
107
click to vote
RWEB
2009
Springer
15 years 7 months ago
2009
Springer
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...
100
Voted
CADE
2008
Springer
16 years 27 days ago
2008
Springer
Abstract. The LogAnswer system is an application of automated reasoning to the field of open domain question-answering, the retrieval of answers to natural language questions regar...
115
click to vote
SEFM
2006
IEEE
15 years 6 months ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...