1087 search results - page 5 / 218 » Exploiting Description Logic Reasoners in Inductive Logic |
LLL
1999
Springer
14 years 2 months ago
1999
Springer
SEMWEB
2009
Springer
14 years 4 months ago
2009
Springer
Probabilistic Description Logics are the basis of ontologies in the Semantic Web. Knowledge representation and reasoning for these logics have been extensively explored in the last...
ESWS
2010
Springer
14 years 2 months ago
2010
Springer
—We present an intelligent service matchmaker, called iSeM, for adaptive and hybrid semantic service selection that exploits the full semantic profile in terms of signature anno...
DLOG
2007
14 years 3 days ago
2007
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics (DLs) as an exten...
APLAS
2010
ACM
13 years 10 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...