1. Prototypical knowledge for expert systems: a retrospective analysis;Aikins;Artificial Intelligence,1993
2. American Institute of Aeronautics and Astronautics (AIAA). Guide for the verification and validation of computational fluid dynamics simulations. AIAA-G-077-1998, Reston, VA, 1998.
3. Query processing in the SIMS information mediator;Arens,1996
4. Ontology and grammar of the SOPHIE choreography conceptual framework—an ontological model for knowledge management;Arroyo;Journal of Universal Computer Science,2007
5. An overview of tableau algorithms for description logics;Badder;Studia Logica,2001