Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas

  • David Carral
  • Cong Wang
  • Pascal Hitzler
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7994)


Extending description logics with so-called nominal schemas has been shown to be a major step towards integrating description logics with rules paradigms. However, establishing efficient algorithms for reasoning with nominal schemas has so far been a challenge. In this paper, we present an algorithm to reason with the description logic fragment \(\mathcal{ELROV}_{n}\), a fragment that extends \(\mathcal{EL}^{++}\) with nominal schemas. We also report on an implementation and experimental evaluation of the algorithm, which shows that our approach is indeed rather efficient.


Description Logic Nominal Schema Binary Predicate Datalog Program Concept Expression 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press (2007)Google Scholar
  2. 2.
    Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: Proc. 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), pp. 364–369. Morgan-Kaufmann Publishers, Edinburgh (2005)Google Scholar
  3. 3.
    Bishop, B., Fischer, F.: IRIS – Integrated Rule Inference System. In: van Harmelen, F., Herzig, A., Hitzler, P., Lin, Z., Piskac, R., Qi, G. (eds.) ARea 2008, Workshop on Advancing Reasoning on the Web: Scalability and Commonsense, Tenerife, Spain. CEUR Wrokshop Proceedings. (June 2, 2008)Google Scholar
  4. 4.
    Carral Martínez, D., Krisnadhi, A., Maier, F., Sengupta, K., Hitzler, P.: Reconciling OWL and rules. Tech. rep., Kno.e.sis Center, Wright State University, Dayton, Ohio, U.S.A. (2011),
  5. 5.
    Hitzler, P., Parsia, B.: Ontologies and rules. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies, 2nd edn., pp. 111–132. Springer (2009)Google Scholar
  6. 6.
    Hitzler, P., Krötzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S. (eds.): OWL 2 Web Ontology Language: Primer. W3C Recommendation (October 27, 2009),
  7. 7.
    Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall/CRC (2009)Google Scholar
  8. 8.
    Horrocks, I., Patel-Schneider, P., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language. W3C Member Submission (May 21, 2004),
  9. 9.
    Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \(\mathcal{SROIQ}\). In: Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 57–67. AAAI Press (2006)Google Scholar
  10. 10.
    Kifer, M., Boley, H. (eds.): RIF Overview, 2nd edn. W3C Working Group Note (February 5, 2013),
  11. 11.
    Knorr, M., Carral Martínez, D., Hitzler, P., Krisnadhi, A.A., Maier, F., Wang, C.: Recent advances in integrating OWL and rules (Technical communication). In: Krötzsch, M., Straccia, U. (eds.) RR 2012. LNCS, vol. 7497, pp. 225–228. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  12. 12.
    Knorr, M., Hitzler, P., Maier, F.: Reconciling OWL and non-monotonic rules for the Semantic Web. In: De Raedt, L., Bessiere, C., Dubois, D., Doherty, P., Frasconi, P., Heintz, F., Lucas, P. (eds.) 20th European Conference on Artificial Intelligence, ECAI 2012, Montpellier, France, August 27-31. Frontiers in Artificial Intelligence and Applications, vol. 242, pp. 474–479. IOS Press, Amsterdam (2012)Google Scholar
  13. 13.
    Krisnadhi, A., Hitzler, P.: A tableau algorithm for description logics with nominal schema. In: Krötzsch, M., Straccia, U. (eds.) RR 2012. LNCS, vol. 7497, pp. 234–237. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  14. 14.
    Krisnadhi, A., Maier, F., Hitzler, P.: OWL and rules. In: Polleres, A., d’Amato, C., Arenas, M., Handschuh, S., Kroner, P., Ossowski, S., Patel-Schneider, P. (eds.) Reasoning Web 2011. LNCS, vol. 6848, pp. 382–415. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  15. 15.
    Krötzsch, M.: Description Logic Rules, Studies on the Semantic Web, vol. 008. IOS Press/AKA (2010)Google Scholar
  16. 16.
    Krötzsch, M.: Efficient inferencing for OWL EL. In: Janhunen, T., Niemelä, I. (eds.) JELIA 2010. LNCS, vol. 6341, pp. 234–246. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  17. 17.
    Krötzsch, M., Rudolph, S., Hitzler, P.: ELP: Tractable rules for OWL 2. In: Sheth, A., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 649–664. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  18. 18.
    Krötzsch, M., Maier, F., Krisnadhi, A.A., Hitzler, P.: A better uncle for OWL: Nominal schemas for integrating rules and ontologies. In: Proceedings of the 20th International Conference on World Wide Web (WWW 2011), pp. 645–654. ACM (2011)Google Scholar
  19. 19.
    Motik, B., Sattler, U., Studer, R.: Query answering for OWL DL with rules. J. of Web Semantics 3(1), 41–60 (2005)CrossRefGoogle Scholar
  20. 20.
    Sirin, E., Parsia, B., Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Web Semantics: Science, Services and Agents on the World Wide Web 5(2), 51–53 (2007)CrossRefGoogle Scholar
  21. 21.
    Wang, C., Hitzler, P.: A resolution procedure for description logics with nominal schemas. In: Takeda, H., Qu, Y., Mizoguchi, R., Kitamura, Y. (eds.) JIST 2012. LNCS, vol. 7774, pp. 1–16. Springer, Heidelberg (2013)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • David Carral
    • 1
  • Cong Wang
    • 1
  • Pascal Hitzler
    • 1
  1. 1.Kno.e.sis CenterWright State UniversityDaytonU.S.A.

Personalised recommendations