3793 search results - page 198 / 759 » Expressive Description Logics |
177
click to vote
LFCS
2009
Springer
15 years 11 months ago
2009
Springer
We extend the alternating-time temporal logics ATL and ATL with strategy contexts and memory constraints: the first extension makes strategy quantifiers to not “forget” the s...
217
click to vote
FROCOS
2009
Springer
16 years 1 months ago
2009
Springer
When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, upda...
187
click to vote
ICLP
2007
Springer
16 years 22 days ago
2007
Springer
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
190
click to vote
ADC
2006
Springer
16 years 17 days ago
2006
Springer
Query answering over OWLs and RDFs on the Semantic Web is, in general, a deductive process. To this end, OWL, a family of web ontology languages based on description logic, has be...
152
click to vote
AMW
2010
15 years 8 months ago
2010
Abstract. We study the problem of instance level (ABox) updates for Knowledge Bases (KBs) represented in Description Logics of the DL-Lite family. DLLite is at the basis of OWL 2 Q...