A tableau algorithm for description logics with nominal schema

Adila Alfa Krisnadhi, Pascal Hitzler

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)

Abstract

Nominal schema is an expressive description logic (DL) construct that was proposed in recent efforts to integrate DLs and (logic programming) rule-based paradigms for the Semantic Web [1] represented by two “diverging” W3C1 standards: the DL-based Web Ontology Language (OWL) [2] whose major variant, OWL 2 DL, is based on the description logic (DL) SROIQ [3]; and the rulebased Rule Interchange Format (RIF) whose core variant, called RIF Core [4], is essentially Datalog, i.e., function-free Horn logic.

Original languageEnglish
Title of host publicationWeb Reasoning and Rule Systems - 6th International Conference, RR 2012, Proceedings
EditorsMarkus Krotzsch, Umberto Straccia
PublisherSpringer Verlag
Pages234-237
Number of pages4
ISBN (Print)9783642332029
Publication statusPublished - 1 Jan 2012
Event6th International Conference on Web Reasoning and Rule Systems, RR 2012 - Vienna, Austria
Duration: 10 Sep 201212 Sep 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7497 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference6th International Conference on Web Reasoning and Rule Systems, RR 2012
CountryAustria
CityVienna
Period10/09/1212/09/12

Fingerprint Dive into the research topics of 'A tableau algorithm for description logics with nominal schema'. Together they form a unique fingerprint.

  • Cite this

    Krisnadhi, A. A., & Hitzler, P. (2012). A tableau algorithm for description logics with nominal schema. In M. Krotzsch, & U. Straccia (Eds.), Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Proceedings (pp. 234-237). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7497 LNCS). Springer Verlag.