Approximation of ontologies in CASL

Frontiers in Artificial Intelligence and Applications

Volumn 150, Issue , 2006, Pages 335-346

  Lüttich, Klaus ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

CASL; Description logic; Knowledge compilation; Theory approximation

Indexed keywords

EID: 84876763918     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (20)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, 2003.
2. T. Berners-Lee, J. Hendler, and O. Lassila. The Semantic Web. Scientific American, May 2001.
3. A. Gangemi, N. Guarino, C. Masolo, A. Oltramari, and L. Schneider. Sweetening Ontologies with DOLCE. In A. Gómez-Pérez and V. R. Benjamins, editors, EKAW, volume 2473 of LNCS, pages 166-181. Springer Verlag; Berlin; http://www.springer.de, 2002.
4. C. Masolo, S. Borgo, A. Gangemi, N. Guarino, A. Oltramari, and L. Schneider. WonderWeb deliverable D17. The wonderWeb Library of Foundational Ontologies and the DOLCE ontology. Preliminary Report (ver. 2.0, 15-08-2002).
5. CoFI (The Common Framework Initiative). CASL Reference Manual. LNCS 2960 (IFIP Series). Springer Verlag; Berlin; http://www.springer.de, 2004.
6. K. Lüttich and T. Mossakowski. Specification of Ontologies in CASL. In A. C. Varci and L. Vieu, editors, Formal Ontology in Information Systems - Proceedings of the Third International Conference (FOIS-2004), volume 114 of Frontiers in Artificial Intelligence and Applications, pages 140-150. IOS Press; Amsterdam; http://www.iospress.nl, 2004.
7. T. Mossakowski. The Heterogeneous Tool Set. Available at www.tzi.de/cofi/hets, University of Bremen.
8. T. Nipkow, L. C. Paulson, and M. Wenzel. Isabelle/HOL - A Proof Assistant for Higher-Order Logic. Springer Verlag; Berlin; http://www.springer.de, 2002.
9. C. Weidenbach, U. Brahm, T. Hillenbrand, E. Keen, C. Theobalt, and D. Topic. SPASS version 2.0. In A. Voronkov, editor, Automated Deduction - CADE-18, volume 2392 of Lecture Notes in Computer Science, pages 275-279. Springer Verlag; Berlin; http://www.springer.de, July 27-30 2002.
10. B. Selman and H. Kautz. Knowledge Compilation Using Horn Approximation. In Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91), pages 904-909, 1991.
11. A. del Val. First order LUB approximations: characterization and algorithms. Artif. Intell., 162(1-2):7-48, 2005.
12. V. Haarslev and R. Möller. Racer System Description. In R. Goré, A. Leitsch, and T. Nipkow, editors, IJCAR, volume 2083 of Lecture Notes in Computer Science, pages 701-706. Springer Verlag; Berlin; http://www.springer.de, 2001.
13. I. Horrocks. FaCT++. Available at http://owl.man.ac.uk/factplusplus/.
14. E. Sirin, M. Grove, B. Parsia, and R. Alford. Pellet OWL reasoner. http://www.mindswap.org/2003/pellet/index.shtml, May 2004.
15. K. Lüttich, T. Mossakowski, and B. Krieg-Brückner. Ontologies for the Semantic Web in CASL. In J. Fiadeiro, editor, Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), volume 3423 of Lecture Notes in Computer Science, pages 106-125. Springer Verlag; Berlin; http://www.springer.de, 2005.
16. I. Horrocks and P. F. Patel-Schneider. Reducing OWL Entailment to Description Logic Satisfiability. In D. Fensel, K. Sycara, and J. Mylopoulos, editors, Proc. of the 2003 International Semantic Web Conference (ISWC 2003), number 2870 in Lecture Notes in Computer Science, pages 17-29. Springer Verlag; Berlin; http://www.springer.de, 2003.
17. B. Selman and H. A. Kautz. Knowledge Compilation and Theory Approximation. J. ACM, 43(2):193-224, 1996.
18. A. del Val. An Analysis of Approximate Knowledge Compilation. In IJCAI (1), pages 830-836, 1995.
19. I. Horrocks and U. Sattler. A description logic with transitive and inverse roles and role hierarchies. J. Log. Comput., 9(3):385-410, 1999.
20. S. Tobies. Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH Aachen, 2001.