A Simple Parallel Reasoning System for the \(\mathcal{ALC}\) Description Logic

  • Adam Meissner
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5796)


In this paper we present a simple, tableau-based, parallel reasoning system for the \(\mathcal{ALC}\) description logic. The system is built in relational model in the Oz language and has a form of a short program comprising the implementation of tableau rules. The program can be executed according to various strategies, particularly in parallel on distributed machines. For this purpose, we use a parallel search engine available in the Mozart environment. We describe results of experiments for estimating the speedup obtained by parallel processing.


parallel reasoning \(\mathcal{ALC}\) description logic Oz language 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Beckert, B., Possega, J.: lean\(T^{\!\!\textstyle A}\!\!P\): Lean, Tableau-based Deduction. Journal of Automated Reasoning 15(3), 339–358 (1995)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Bonacina, M.P.: A taxonomy of parallel strategies for deduction. Annals of Mathematics and Artificial Intelligence 29(1-4), 223–257 (2000)CrossRefzbMATHGoogle Scholar
  3. 3.
    Baader, F., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, implementation, and applications. Cambridge University Press, Cambridge (2003)zbMATHGoogle Scholar
  4. 4.
    Horrocks, I., Patel-Schneider, P.F.: DL System Comparison. In: Proc. of the 1998 Int. Workshop on Description Logics (DL 1998), vol. 11 (1998),
  5. 5.
    Van Roy, P., Haridi, S.: Concepts, Techniques, and Models of Computer Programming. The MIT Press, Cambridge (2004)Google Scholar
  6. 6.
    Schulte, C.: Programming Constraint Services, PhD thesis. University of Saarlandes (2000)Google Scholar
  7. 7.
    The Mozart Programming System (2008),
  8. 8.
    World Wide Web Consortium, Semantic Web,

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Adam Meissner
    • 1
  1. 1.Institute of Control and Information EngineeringPoznań University of TechnologyPoznańPoland

Personalised recommendations