722 search results - page 8 / 145 » A Faithful Integration of Description Logics with Logic Prog... |
KR
1998
Springer
15 years 1 months ago
1998
Springer
53
Voted
JIIS
1998
14 years 9 months ago
1998
RR
2010
Springer
14 years 8 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...
OWLED
2007
14 years 11 months ago
2007
Abstract. We describe a system in which Contextual Logic Programming is used as a mediator for knowledge modeled by ontologies. Our system provides the components required to behav...
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...