ACM SIGMOD Anthology TKDE dblp.uni-trier.de

The Knowledge Acquisition and Representation Language KARL.

Dieter Fensel, Jürgen Angele, Rudi Studer: The Knowledge Acquisition and Representation Language KARL. IEEE Trans. Knowl. Data Eng. 10(4): 527-550(1998)
@article{DBLP:journals/tkde/FenselAS98,
  author    = {Dieter Fensel and
               J{\"u}rgen Angele and
               Rudi Studer},
  title     = {The Knowledge Acquisition and Representation Language KARL},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {10},
  number    = {4},
  year      = {1998},
  pages     = {527-550},
  ee        = {db/journals/tkde/FenselAS98.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1998 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.


Online Edition: IEEE Computer Society DL

Citation Page

References

[1]
...
[2]
...
[3]
...
[4]
Jürgen Angele, Dieter Fensel, Dieter Landes: Two Languages to Do the Same? IS/KI 1992: 23-39 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[5]
...
[6]
...
[7]
...
[8]
...
[9]
Jürgen Angele, Rudi Studer: G-KARL: A Graphical, Formal, and Executable Specification Language. XPS 1997: 33-47 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[10]
...
[11]
...
[12]
François Bancilhon, Raghu Ramakrishnan: Performance Evaluation of Data Intensive Logic Programs. Foundations of Deductive Databases and Logic Programming. 1988: 439-517 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[13]
...
[14]
Catriel Beeri: A Formal Approach to Object-Oriented Databases. Data Knowl. Eng. 5: 353-382(1990) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[15]
...
[16]
...
[17]
...
[18]
...
[19]
...
[20]
Ramez Elmasri, Shamkant B. Navathe: Fundamentals of Database Systems. Benjamin/Cummings 1989
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[21]
...
[22]
...
[23]
Henrik Eriksson, Yuval Shahar, Samson W. Tu, Angel R. Puerta, Mark A. Musen: Task Modeling with Reusable Problem-Solving Methods. Artif. Intell. 79(2): 293-326(1995) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[24]
...
[25]
...
[26]
...
[27]
...
[28]
...
[29]
...
[30]
...
[31]
...
[32]
Robert B. France, Thomas W. G. Docker: Formal Specification Using Structured Systems Analysis. ESEC 1989: 293-310 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[33]
...
[34]
Sol J. Greenspan, John Mylopoulos, Alexander Borgida: On Formal Requirements Modeling Languages: RML Revisited. ICSE 1994: 135-147 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[35]
...
[36]
...
[37]
...
[38]
...
[39]
Willem Jonker, Jan Willem Spee: Yet Another Formalisation of KADS Conceptual Models. EKAW 1992: 211-229 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[40]
...
[41]
...
[42]
...
[43]
...
[44]
Won Kim: Introduction to Object-Oriented Databases. MIT Press 1990, ISBN 0-262-11124-1
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[45]
Michael Kifer, James Wu: A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). PODS 1989: 379-393 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[46]
Michael Kifer, Georg Lausen, James Wu: Logical Foundations of Object-Oriented and Frame-Based Languages. J. ACM 42(4): 741-843(1995) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[47]
Dexter Kozen, Jerzy Tiuryn: Logics of Programs. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 789-840 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[48]
Peter Gorm Larsen, Poul Bøgh Lassen: An Executable Subset of Meta-IV with Loose Specification. VDM Europe (1) 1991: 604-618 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[49]
...
[50]
Dieter Landes, Rudi Studer: The Treatment of Non-Functional Requirements in MIKE. ESEC 1995: 294-306 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[51]
...
[52]
...
[53]
...
[54]
John W. Lloyd, Rodney W. Topor: Making Prolog more Expressive. J. Log. Program. 1(3): 225-240(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[55]
John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[56]
...
[57]
...
[58]
Peter Gorm Larsen, Nico Plat, Hans Toetenel: A Formal Semantics of Data Flow Diagrams. Formal Asp. Comput. 6(6): 586-606(1994) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[59]
...
[60]
...
[61]
...
[62]
...
[63]
Susanne Neubert: Model Consruction in MIKE (MOdel-Based and Incremental Knowledge Engineering). EKAW 1993: 200-219 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[64]
Allen Newell: The Knowledge Level. Artif. Intell. 18(1): 87-127(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[65]
...
[66]
...
[67]
Teodor C. Przymusinski: On the Declarative Semantics of Deductive Databases and Logic Programs. Foundations of Deductive Databases and Logic Programming. 1988: 193-216 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[68]
...
[69]
...
[70]
...
[71]
Elliot Soloway, Judy Bachant, Keith Jensen: Assessing the Maintainability of XCON-in-RIME: Coping with the Problems of a VERY Large Rule-Base. AAAI 1987: 824-829 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[72]
...
[73]
...
[74]
...
[75]
Amílcar Sernadas, Cristina Sernadas, José Félix Costa: Object Specification Logic. J. Log. Comput. 5(5): 603-630(1995) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[76]
...
[77]
...
[78]
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[79]
Jeffrey D. Ullman: Bottom-Up Beats Top-Down for Datalog. PODS 1989: 140-149 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[80]
...
[81]
...
[82]
...
[83]
...

Copyright © Fri Mar 12 17:33:44 2010 by Michael Ley (ley@uni-trier.de)