Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic
By: Adam Meissner
Open Access
|Mar 2011References
- Amir, E. and Maynard-Zhang, P. (2004). Logic-based subsumption architecture,(1-2): 167-237.
- Aslani, M.and Haarslev, V. (2008). Towards parallel classifcation of TBoxes,F. Baader, C. Lutz, and B. Motik (Eds.),, CEUR Workshop Proceedings, Vol. 353.
- Baader, F., McGuinness, D., Nardi, D. and Patel-Schneider, P. (Eds.) (2003)., Cambridge University Press, Cambridge.
- Baader, F. and Sattler, U. (2001). An overview of tableau algorithms for description logics,(1): 5-40.
- Beckert, B. and Possega, J. (1995). leanTP: Lean, tableau-based deduction,(3): 339-358.
- Calvanese, D., Lenzerini, M. and Nardi, D. (1999). Unifying class-based representation formalisms,: 199-240.
- De Giacomo, G., Iocchi, L., Nardi, D. and Rosati R. (1996). Moving a robot: The KR&R approach at work,, pp. 198-209.
- Devanbu, P. and Jones, M. (1997). The use of description logics in KBSE systems,(2): 141-172.
- Herchenröder, T. (2006)., M. Sc. thesis, University of Edinburgh, Edinburgh.
- Horrocks, I. and Patel-Schneider, P. F. (1998). DL systems comparison (summary relation),, CEUR Workshop Proceedings, Vol. 11, pp. 55-57.
- Hustadt, U., Motik, B. and Sattler, U. (2004). Reducing SHIQ-description logic to disjunctive datalog programs,D. Dubois, C. A. Welty and M.-A. Williams (Eds.),, AAAI Press, Menlo Park, CA, pp. 152-162.
- Liebig, T. and Müller, F. (2007). Parallelizing tableaux-based description logic reasoning,R. Meersman, Z. Tari, and P. Herrero (Eds.),, Lecture Notes in Computer Science, Vol. 4806, Springer-Verlag, Berlin/Heidelberg, pp. 1135-1144.
- Meissner, A. (2009a). Introducing parsimonious rules to a parallel reasoning system for thedescription logic,, pp. 75-80.
- Meissner, A. (2009b). A simple parallel reasoning system for thedescription logic,N. T. Nguyen, R. Kowalczyk, and S.-M. Chen (Eds.),, Lecture Notes in Artificial Intelligence, Vol. 5796, Springer-Verlag, Berlin/Heidelberg, pp. 413-424.
- (2004)
- Rector A. L., Zanstra, P., Solomon, W., Rogers, J., Baud, R., Ceusters, W., Claassen, A., Kirby, J., Rodrigues, J., Mori, A., van der Haring, E. and Wagner, J. (1998). Reconciling users' needs and formal requirements: Issues in developing a reusable ontology for medicine,(4): 229-242.
- Rychtyckyj, N. (1996). DLMS: An evaluation of KL-ONE in the automobile industry,L. C. Aiello, J. Doyle, and S. C. Shapiro (Eds.),, Morgan Kaufmann, San Francisco, CA, pp. 588-596.
- Schmidt-Schauß, M. and Smolka, G. (1991). Attributive concept descriptions with complements,(1): 1-26.
- Schulte, C. (2000)., Ph.D. thesis, Saarland University, Saarbrücken.
- (2001).
- (2008).
- Tsarkov, D. and Horrocks, I. (2006). FaCT++ description logic reasoner: System description,U. Furbach and N. Shankar (Eds.),, Lecture Notes in Computer Science, Vol. 4130, Springer-Verlag, Berlin/Heidelberg, pp. 292-297.
- Van Roy, P. and Haridi, S. (2004)., MIT Press, Cambridge, MA.
- Wessel, M. and Möller, R. (2005). A high performance Semantic Web query answering engine,I. Horrocks, U. Sattler and F. Wolter (Eds.),, CEUR Workshop Proceedings, Vol. 147.
Language: English
Page range: 83 - 95
Published on: Mar 28, 2011
Published by: University of Zielona Góra
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Related subjects:
© 2011 Adam Meissner, published by University of Zielona Góra
This work is licensed under the Creative Commons License.