01393nas a2200181   4500008004100000245011800041210006900159490000600228520078700234653001201021653002201033653002301055653002101078100002301099700002201122700002001144856004701164       2012                        eng d00aType-Elimination-Based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive Datalog0 aTypeEliminationBased Reasoning for the Description Logic SHIQbs 0 v83 aWe propose a novel, type-elimination-based method for standard reasoning in the description logic SHIQbs extended by DL-safe rules. To this end, we first establish a knowledge compilation method converting the terminological part of an ALCIb knowledge base into an ordered binary decision diagram (OBDD) that represents a canonical model. This OBDD can in turn be transformed into disjunctive Datalog and merged with the assertional part of the knowledge base in order to perform combined reasoning. In order to leverage our technique for full SHIQbs, we provide a stepwise reduction from SHIQbs to ALCIb that preserves satisfiability and entailment of positive and negative ground facts. The proposed technique is shown to be worst-case optimal w.r.t. combined and data complexity.10adatalog10adecision diagrams10adescription logics10atype elimination1 aRudolph, Sebastian1 aKrötzsch, Markus1 aHitzler, Pascal  uhttp://dx.doi.org/10.2168/LMCS-8(1:12)201201446nas a2200313   4500008004100000020002200041245008300063210006900146260001700215300001200232520051700244653001200761653002200773653003100795653001000826653001700836653002600853100002200879700002100901700002100922700002000943700002600963700002400989700001601013700002101029700001901050700001601069856004701085       2011                        eng d  a978-1-4503-0632-400aA Better Uncle for {OWL}: Nominal Schemas for Integrating Rules and Ontologies0 aBetter Uncle for OWL Nominal Schemas for Integrating Rules and O  bACMc03/2011  a645-6543 aWe propose a description-logic style extension of OWL 2 with nominal schemas which can be used like "variable nominal classes" within axioms. This feature allows ontology languages to express arbitrary DL-safe rules (as expressible in SWRL or RIF) in their native syntax. We show that adding nominal schemas to OWL 2 does not increase the worst-case reasoning complexity, and we identify a novel tractable language SROELV3(\cap, x) that is versatile enough to capture the lightweight languages OWL EL and OWL RL.10adatalog10aDescription Logic10aSemantic Web Rule Language10aSROIQ10atractability10aWeb Ontology Language1 aKrötzsch, Markus1 aMaier, Frederick1 aKrisnadhi, Adila1 aHitzler, Pascal1 aSrinivasan, Sadagopan1 aRamamritham, Krithi1 aKumar, Arun1 aRavindra, M., P.1 aBertino, Elisa1 aKumar, Ravi  uhttp://doi.acm.org/10.1145/1963405.1963496