id: 06104237
dt: a
an: 06104237
au: Krisnadhi, Adila; Hitzler, Pascal
ti: A tableau algorithm for description logics with nominal schema.
so: Krötzsch, Markus (ed.) et al., Web reasoning and rule systems. 6th
    international conference, RR 2012, Vienna, Austria, September 10‒12,
    2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33202-9/pbk).
    Lecture Notes in Computer Science 7497, 234-237 (2012).
py: 2012
pu: Berlin: Springer
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-33203-6_22
ab: Summary: 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” W3C standards: the DL-based Web Ontology
    Language (OWL) [2] whose major variant, OWL 2 DL, is based on the
    description logic (DL) ${\mathcal{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.
rv: