Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Quantification in autoepistemic logic
Fundamenta Informaticae - Special issue: logics for artificial intelligence
On the decidability and complexity of autoepistemic reasoning
Fundamenta Informaticae - Special issue on modal logics in knowledge representation
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Translating Ontologies from Predicate-based to Frame-based Languages
RULEML '06 Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web
The Description Logic Handbook
The Description Logic Handbook
Embedding non-ground logic programs into autoepistemic logic for knowledge-base combination
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A faithful integration of description logics with logic programming
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A scheme for integrating concrete domains into concept languages
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
OWL rules: A proposal and prototype implementation
Web Semantics: Science, Services and Agents on the World Wide Web
OWL-Eu: Adding customised datatypes into OWL
Web Semantics: Science, Services and Agents on the World Wide Web
A meta-model for ontologies with ORM2
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
SPARQL++ for mapping between RDF vocabularies
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
| Hi-index | 0.00 |
WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between these variants have not been investigated. We take the nonmonotonic first-order autoepistemic logic, which generalizes both Description Logics and Logic Programming, and extend it with frames and concrete domains, to capture all features of WSML; we call this novel formalism FF-AEL. We consider two forms of language layering for WSML, namely loose and strict layering, where the latter enforces additional restrictions on the use of certain language constructs in the rule-based language variants, in order to give additional guarantees about the layering. Finally, we demonstrate that each WSML variant semantically corresponds to its target formalism, i.e. WSML-DL corresponds to SHIQ(D), WSML-Rule to the Stable Model Semantics for Logic Programs (the Well-Founded Semantics can be seen as an approximation), and WSML-Core to DHL(D) (without nominals), a Horn subset of SHIQ(D).