Workshop on comparing description and frame logics

Data and Knowledge Engineering

Volumn 25, Issue 3, 1998, Pages 347-352

  Fensel, D ^a   Rousset, M C ^b   Decker, S ^a,c  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b UFR 919 Laboratoire d'Informatique Pour la Mécanique et les Sciences de l'Ingénieur   (France)

^c IBM   (Germany)

Author keywords

Databases; Description logic; Frame logic; Knowledge presentation; Logic programming; Object orientation; Ontologies

Indexed keywords

COMPUTATIONAL LINGUISTICS; DATABASE SYSTEMS; FORMAL LANGUAGES; FORMAL LOGIC; INFERENCE ENGINES; LOGIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING;

DESCRIPTION LOGIC; FRAME LOGIC; ONTOLOGIES;

KNOWLEDGE ENGINEERING;

EID: 0032046157     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(97)00039-6     Document Type: Article

References (33)

1. J. Angele, Operationalisierung des Models der Expertise mit KARL (Infix, St. Augustin, 1993).
2. M. Balaban, The F-Logic approach for description languages, Annals of Mathematics and Artificial Intelligence 15 (1995) 19-60.
3. M. Balaban, The (frames)-logic approach for description languages II: a hybrid integration of rules and descriptions, Technical Report FC-94-10 (Dept. of Mathematics and Computer Science, Ben-Gurion University of the Negev, Israel, 1994).
4. D. Calvanese, G. De Giacomo and M. Lenzerini, Structured objects: Modeling and reasoning, Proc. 4th Int. Conf. on Deductive and Object-Oriented Databases (DOOD-95), Lecture Notes in Computer Science (Springer, 1995).
5. W.J. Clancey, The epistemology of a rule-based expert system - a framework for explanation, Artificial Intelligence 20 (1983).
6. W.J. Clancey, From GUIDON to NEOMYCIN and HERACLES in 20 short lessons: ORN final report 1979-1985, The AI Magazine (August 1986).
7. G. De Giacomono and M. Lenzerini, What's in an aggregate: Foundations for description logics with tupels and sets, Proc. 14th Int. Conf. on Artificial Intelligence (IJCAI-95), Montreal, Canada (1995).
8. D. Fensel, Formal specification languages in knowledge and software engineering, The Knowledge Engineering Review 10(4) (1995).
9. D. Fensel, J. Angele and R. Studer, The Knowledge Acquisition and Representation Language (KARL), IEEE Trans. on Knowledge and Data Engineering, in press.
10. D. Fensel and F. van Harmelen, A comparison of languages which operationalize and formalize KADS models of expertise, The Knowledge Engineering Review 9(2) (1994).
11. A. Farquhar, R. Fickas and J. Rice, The Ontolingua server: A tool for collaborative ontology construction, Int. Journal of Human-Computer Interaction (IJHCI), 46(6) (1997).
12. http://www.informatik.ini-freiburg.de:80/∼dbis/flogic-project.html
13. D. Fensel, E. Motta, S. Decker and Z. Zdrahal, The use of ontologies for specifying tasks and problem-solving methods: A case study, in: E. Plaza et al. (eds). Knowledge Acquisition, Modeling and Management, Lecture Notes in Artificial Intelligence (LNAI), 1319, Springer Verlag, 1997.
14. D. Fensel and R. Straatman, The essence of problem-solving methods: Making assumptions to gain efficiency, Int. Journal of Human-Computer Studies (IJHCS), in press.
15. B. Ganter and R. Wille, Formale Begriffsanalyse (Springer Verlag, Berlin, 1996).
16. N. Guarino, Understanding, building and using ontologies, Intl. Journal of Human-Computer Interaction (IJHCI) 46(6) (1997).
17. D. Harel, Dynamic logic, in D. Gabby et al. (Eds.), Handbook of Philosophical Logic, Vol. II, Extensions of Classical Logic (Publishing Company, Dordrecht, The Netherlands, 1984).
18. G. van Heijst, A.T. Schreiber and B.J. Wielinga, Using explicit ontologies in knowledge-based system development, Int. Journal of Human-Computer Interaction (IJHCI) 46(6) (1997).
19. M. Kifer, G. Lausen and J. Wu, Logical foundations of object-oriented and frame-based languages, Journal of the ACM 42 (1995).
20. A.Y. Levy and M.-C. Rousset, CARIN: A representation language combining Horn rules and description logics, Proc. 12th European Conf. on AI (ECAI-96), Budapest, Hungary (August 11-16, 1996).
21. A.Y. Levy and M.-Ch. Rousset, The Limits on combining recursive Horn rules with description logics, Proc. 13th National Conf. on Artificial Intelligence, AAAI-96, Portland, Oregon (August, 1996).
22. D. Lukose, G. Mineau, M.-L. Mugnier, J.-U. Möller, P. Martin, R. Kremer and G.P. Zarri, Conceptual structures for knowledge engineering and knowledge modelling, in Proc. Int. Conf. on Conceptual Structures (ICCS-95), USA (1995).
23. MacGregor, LOOM Users Manual, ISI/WP-22 (USC/Information Sciences Institute, 1990); http://www.isi.edu:80/ isd/LOOM
24. B. Nebel, Artificial intelligence: A computational perspective, in G. Brewka (Ed.), Principles of Knowledge Representation. Studies in Logic, Language and Information. CSLI Publications (Stanford, 1996).
25. T.C. Przymusinski: On the declarative semantics of deductive databases and logic programs, In J. Minker (Ed.), Foundations of Deductive Databases and Logic Programming (Morgan Kaufmann Publisher, Los Altos, CA, 1988).
26. A.TH. Schreiber and W.P. Birmingham (Eds.), Special issue on Sisyphus-VT, Intl. Journal on Human-Computer Studies (IJHCS) 44 ( 96).
27. J.F. Sowa, Conceptual Structures: Information Processing in Mind and Machine (Addison Wesley, Reading, MA, USA, 1984).
28. A.TH. Schreiber, B. Wielinga, J.M. Akkermans, W. Van De Velde and R. de Hoog, CommonKADS: A comprehensive methodology for KBS development, IEEE Expert 9(6) (1994) 28-37.
29. B. Swartout and Y. Gil, EXPECT: Explicit representation for flexible acquisition, Proc. 9th Knowledge Acquisition for Knowledge-based Systems Workshop (KAW-95), Banff, Alberta, Canada (1995).
30. J. Top and H. Akkermans, Tasks and ontologies in engineering modeling, Int. Journal of Human-Computer Studies (IJHCS) 41 (1994) 585-617.
31. 2: A formal language for KADS conceptual models, Knowledge Acquisition 4(1) (1992).
32. I. van Langevelde, A. Philipsen and J. Treur, A compositional architecture for simple design formally specified in DESIRE, in J. Treur et al. (Eds.), Formal Specification of Complex Reasoning Systems (Ellis Horwood, New York, 1993).
33. R. Wille, Concept lattices and conceptual knowledge systems, Computers Mathematical Applications 23(6-9) (1992) 493-515.