238 search results - page 20 / 48 » Proof-Theoretic Approach to Description-Logic |
AMW
2010
13 years 11 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...
JWSR
2007
13 years 9 months ago
2007
: We propose a framework and polynomial algorithms for semantic-based automated Web service composition, fully compliant with Semantic Web technologies. The approach exploits the r...
ADC
2006
Springer
14 years 3 months 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...
PSSS
2003
13 years 11 months ago
2003
Abstract: We present DLDB, a knowledge base system that extends a relational database management system with additional capabilities for DAML+OIL inference. We discuss a number of ...
FROCOS
2009
Springer
14 years 4 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...