Parallelizing description logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 981, Issue , 1995, Pages 137-148

  Bergmann, Frank W ^a   Quantz, J Joachim ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DATA DESCRIPTION; FORMAL LANGUAGES; INFERENCE ENGINES; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING;

DESCRIPTION LOGIC; DISTRIBUTED OBJECTS; IMPERATIVE PROGRAMMING LANGUAGES; INFERENCE ALGORITHM; LARGE-SCALE APPLICATIONS; MULTIPLE INSTRUCTIONS; PARALLELIZATION STRATEGIES; PROLOG IMPLEMENTATIONS;

PROLOG (PROGRAMMING LANGUAGE);

EID: 84949943788     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60343-3_32     Document Type: Conference Paper

References (18)

1. F.W. Bergmann, M. Ostermann, G. von Walter, "Brain Aid Prolog Language Reference" Brain Aid Systems, 1993
2. F.W. Bergmann, Parallelizing FLEX, KIT Report in preparation, TU Berlin
3. A. Bond, L. Gasser, "Readings in Dislributed Artificial Intelligence", Morgan Kaufmann, Los Angeles, CA, 1988
4. R. Brachman, D.L. McCruiness, P.E Patel-Sehneider, L. Aiperin Resnick, A. Borgida, "Living with CLASSIC: When and How to Use a KL-ONE-Iike Language", in J. Sowa (Ed.), Principles of Semantic Networks: Explorations in the Representation of Knowledge, San Mateo: Morgan Kaufmann, 1991, 401-456
5. H. Burkhard, A. Bieniek, R. Klaus, M. Nile, G. Schreiber, H. Schulz-Mirbach, "The Parallel Image Processing Sytem PIPS" in R. Flieger, R. Grebe (eds), Parallelrechner Grundlagen und Anwendung IOS Press, Amsterdam, Netherlands, 1994, 288--293
6. K. Clark, S Gregory, "PARLOG: Parallel Programming in Logic" in E. Shapiro (ed), ConcurrentProlog The MIT Press, Cambridge, Massachusetts, 1987, 84-139
7. R. Diekmarm, D. Meyer, B. Monien, "ParaUele Partitionierung unstmkturierter Finite Elemente Netze anf Transputemetzwerken" in R. Flieger, R. Grebe (eds), Parallelrechner Grundlagen und Anwendung IOS Press, Amsterdam, Netherlands, 1994, 317-326
8. F.M. Donini, M. Lenzerini, D. Nardi, W. Nutt, "The Complexity of Concept Languages', KR'91,151-162
9. A.C. Dossier, "Intelligence Artifieielle Distribuee", Bulletin de I'AFIA, 6, 1991
10. C. A. R. Hoare, "Communicating Sequential Processes" Prentice Hall, Englewood Cliffs, NJ., USA, 1985
11. C. Kindermann, Verwaltung assertorischer Inferenzen in terminologischen Wissensbanksystemen, PhD Thesis (submitted), TU Berlin, 1995
12. B. Owsnieki-Klewe, "Configuration as a Consistency Maintenance Task", in W. Hoeppner (Ed.), Proceedings of GWAI'88, Berlin: Springer, 1988, 77-87
13. E. Pontelli, G. Gupta, "Design and Implementation of Parallel Logic Programming Systems", Proceedings of lLPS'94 Post Converence Workshop 1994
14. JJ. Quantz, B. Schmitz, "Knowledge-Based Disambiguation for Machine Translation", Minds and Machines 4, 39-57, 1994
15. V. Royer, JJ. Quantz, "Deriving Inferfmee Rules for Terminological LOgits", in D. Pearee, G. Wagner (eds), Logics in AI, Proceedings of JELIA'92, Berlin: Springer, 1992, 84-105
16. V. Royer, JJ. Quantz, "On Intuitionistic Query Answering in Description Bases", in A. Bundy (Ed.), CADE-94, Berlin: Springer, 1994, 326-340
17. A. Schaeff, Query Answering in Concept-Based Knowledge Representation Systems: Algorithms, Complexity, and Semantic Issues, Dissertation Thesis, Dipartimento di Informatiea e Sistemistica, Università di Roma "La Sapienza", 1994
18. "Large Eddy Simulation turbulenter Strömungen auf MIMD-Systemen" in R. Flieger, R. Grebe (eds), Parallelrechner Grundlagen und Anwendung, IOS Press, Amsterdam, Netherlands, 1994, 357–366