3032 search results - page 353 / 607 » Description Logic Rules |
136
click to vote
DLOG
2009
15 years 1 months ago
2009
Abstract. We address the revision problem for knowledge bases (KBs) in Description Logics (DLs). This problem has received much attention in the ontology management and DL communit...
153
click to vote
IEEESCC
2005
IEEE
15 years 9 months ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
153
click to vote
FLOPS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We present a declarative method for diagnosing missing computed answers in CFLP(D), a generic scheme for lazy Constraint Functional-Logic Programming which can be instant...
141
click to vote
CLEF
2008
Springer
15 years 5 months ago
2008
Springer
RAVE (Real-time Answer Validation Engine) is a logic-based answer validator/selector designed for real-time question answering. Instead of proving a hypothesis for each answer, RAV...
123
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...