@conference {124,
	title = {Recent Advances in Integrating {OWL} and Rules},
	booktitle = {Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings},
	volume = {7497},
	year = {2012},
	month = {09/2012},
	pages = {225-228},
	publisher = {Springer},
	organization = {Springer},
	address = {Austria, Vienna},
	abstract = {As part of the quest for a unifying logic for the Semantic Web Technology Stack, a central issue is finding suitable ways of integrating description logics based on the Web Ontology Language (OWL) with rule-based approaches based on logic programming. Such integration is difficult since naive approaches typically result in the violation of one or more desirable design principles. For example, while both OWL 2 DL and RIF Core (a dialect of the Rule Interchange Format RIF) are decidable, their naive union is not, unless carefully chosen syntactic restrictions are applied.

We report on recent advances and ongoing work by the authors in integrating OWL and rulesWe take an OWL-centric perspective, which means that we take OWL 2 DL as a starting point and pursue the question of how features of rulebased formalisms can be added without jeopardizing decidability. We also report on incorporating the closed world assumption and on reasoning algorithms. This paper essentially serves as an entry point to the original papers, to which we will refer throughout, where detailed expositions of the results can be found.},
	keywords = {description logics, OWL, Rules},
	doi = {10.1007/978-3-642-33203-6_20},
	url = {http://dx.doi.org/10.1007/978-3-642-33203-6_20},
	author = {Matthias Knorr and David Carral and Pascal Hitzler and Adila Krisnadhi and Frederick Maier and Cong Wang},
	editor = {Markus Kr{\"o}tzsch and Umberto Straccia}
}
@conference {19,
	title = {A Tableau Algorithm for Description Logics with Nominal Schemas},
	booktitle = {Web Reasoning and Rule Systems, 6th International Conference, RR2012, Vienna, Austria, September 10-12, 2012, Proceedings},
	volume = {7497},
	year = {2012},
	month = {09/2012},
	pages = {234-237},
	publisher = {Springer},
	organization = {Springer},
	abstract = {<p>We present a tableau algorithm for the description logic\&nbsp;ALCOV. This description logic is obtained by extending the description\&nbsp;logic ALCO with the expressive nominal schema construct that enables\&nbsp;DL-safe datalog with predicates of arbitrary arity to be covered within\&nbsp;the description logic framework. The tableau algorithm provides a basis to implement a delayed grounding strategy which was not facilitated\&nbsp;by earlier versions of decision procedures for satisfiability in expressive\&nbsp;description logics with nominal schemas.</p>
},
	doi = {10.1007/978-3-642-33203-6_22},
	author = {Adila Krisnadhi and Pascal Hitzler},
	editor = {Markus Kr{\"o}tzsch and Umberto Straccia}
}
