@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}
}
