1087 search results - page 35 / 218 » Exploiting Description Logic Reasoners in Inductive Logic |
75
Voted
DLOG
2009
14 years 7 months ago
2009
Least Common Subsumers (LCS) have been proposed in Description Logics (DL) to capture the commonalities between two or more concepts.
IJCAI
2007
14 years 11 months ago
2007
Integrating description logics (DL) and logic programming (LP) would produce a very powerful and useful formalism. However, DLs and LP are based on quite different principles, so ...
KR
2004
Springer
15 years 3 months ago
2004
Springer
Temporal reasoning has always been a major test case for knowledge representation formalisms. In this paper, we develop an inductive variant of the situation calculus using the Lo...
52
Voted
DLOG
2009
14 years 7 months ago
2009
103
click to vote
DLOG
2009
14 years 7 months ago
2009
In the current paper we study the reasoning problem for fuzzy SI (f-SI) under arbitrary continuous fuzzy operators. Our work can be seen as an extension of previous works that stud...