811 search results - page 53 / 163 » Semantic Web Reasoning with Conceptual Logic Programs |
103
click to vote
CADE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
131
Voted
RR
2010
Springer
15 years 6 days 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...
111
Voted
LPAR
2005
Springer
15 years 7 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
115
Voted
IJCAI
2007
15 years 3 months ago
2007
In the context of the Semantic Web, several approaches to the combination of ontologies, given in terms of theories of classical first-order logic, and rule bases have been propo...
117
Voted
LPNMR
2004
Springer
15 years 7 months ago
2004
Springer
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX , where k is a non-negative integer and X is a finite set of ...