A Goal-Oriented Algorithm for Unification in $\mathcal{ELH}_{R+}$ w.r.t. Cycle-Restricted Ontologies

Lecture Notes in Computer Science - AI 2012: Advances in Artificial Intelligence ◽

10.1007/978-3-642-35101-3_42 ◽

2012 ◽

pp. 493-504 ◽

Author(s):

Franz Baader ◽

Stefan Borgwardt ◽

Barbara Morawska

Download Full-text