1087 search results - page 43 / 218 » Exploiting Description Logic Reasoners in Inductive Logic |
ICLP
2007
Springer
15 years 3 months ago
2007
Springer
RR
2007
Springer
15 years 3 months ago
2007
Springer
RWEB
2009
Springer
15 years 4 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...
CORR
2010
Springer
14 years 6 months ago
2010
Springer
In this paper we present a preliminary logic-based evaluation of the integration of post-composed phenotypic descriptions with domain ontologies. The evaluation has been performed ...
ESWS
2005
Springer
15 years 3 months ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...