TY - GEN
T1 - A tableau algorithm for description logics with nominal schema
AU - Krisnadhi, Adila Alfa
AU - Hitzler, Pascal
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2012.
PY - 2012
Y1 - 2012
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85006913837&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-33203-6_22
DO - 10.1007/978-3-642-33203-6_22
M3 - Conference contribution
AN - SCOPUS:85006913837
SN - 9783642332029
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 234
EP - 237
BT - Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Proceedings
A2 - Krotzsch, Markus
A2 - Straccia, Umberto
PB - Springer Verlag
T2 - 6th International Conference on Web Reasoning and Rule Systems, RR 2012
Y2 - 10 September 2012 through 12 September 2012
ER -