Renate A. Schmidt  Home/Search
Context Related
| doc.mmu.ac.uk/STAF...MPII91216.ps.gz mpisb.mpg.de/~sch...MPII91216.ps.gz cs.man.ac.uk/~schm...MPII91216.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: doc.mmu.ac.uk/STAFF/R.Schmidt/... (more) From: mpisb.mpg.de/~schmidt/publica... (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This thesis investigates terminological representation languages, as used in kl-one-type knowledge representation systems, from an algebraic point of view. Terminological representation languages are based on two primitive syntactic types, called concepts and roles, which are usually interpreted model-theoretically as sets and relations, respectively. I propose an algebraic rather than a model-theoretic approach. I show that terminological representations can be naturally accommodated in... (Update)
Context of citations to this paper: More
...1989) in computational linguistics can be utilised. The setting of my discussion is an algebraic one. In Brink and Schmidt (1992) Schmidt (1991) and Brink, Britz and Schmidt (1992) we showed that terminological representation languages can be interpreted algebraically. The...
.... on the equational approach as detailed presentations with worked out examples can be found in Brink and Schmidt (1992) as well as Schmidt (1991). In conclusion we claim for the application of Peirce algebras to terminological representation and reasoning the following...
Cited by: More
Peirce Algebras - Brink, Britz, Schmidt (1992) (Correct)
Terminological Representation, Natural Language & Relation Algebra - Schmidt (1992) (Correct)
Active bibliography (related documents): More All
1.0: Algebraic Formalisations of Fuzzy Relations and Their.. - Furusawa (1998) (Correct)
0.8: Cognitive Maps: Theory, Implementation and Practical.. - Chaib-Draa (Correct)
0.7: Dynamic Algebras as a well-behaved fragment of Relation Algebras - Pratt (1990) (Correct)
Similar documents based on text: More All
0.4: Peirce Algebras and Relation Algebras are equipollent - Renate Schmidt.. (Correct)
0.3: Representations as Full Peirce Algebras - Renate Schmidt Max-Planck-Institut (Correct)
0.2: Max-Planck-Institut - Ur Informatik Omega (Correct)
Related documents from co-citation: More All
2: Variable-free semantics for negations with prosodic variation (context) - Suppes - 1979
2: Direct inference in English (context) - Suppes - 1981
2: An overview of the KL-ONE knowledge representation system (context) - Brachman, Schmolze - 1985
BibTeX entry: (Update)
Schmidt, R. A. (1991), Algebraic terminological representation, M.Sc. thesis, ThesisReprint TR 011, Department of Mathematics, University of Cape Town, Cape Town, South Africa. Also available as Technical Report MPI-I-91-216, Max-Planck-Institut fur Informatik, Saarbrucken, Germany. http://citeseer.ist.psu.edu/schmidt91algebraic.html More
@techreport{ schmidt91algebraic,
author = "R. A. Schmidt",
title = "Algebraic Terminological Representation",
number = "MPI-I-91-216",
address = "Saarbruecken",
year = "1991",
url = "citeseer.ist.psu.edu/schmidt91algebraic.html" }
Citations (may not include all citations):4212 Computers and Intractability: A Guide to the Theory of NP-Co.. (context) - Garey, Johnson - 1979
410 Principles of Artificial Intelligence (context) - Nilsson - 1980
362 Dynamic Logic - Harel - 1984 ACM
231 CLASSIC: A Structural Data Model for Objects - Borgida, Brachman et al. - 1989 ACM DBLP
207 Attributive Concept Description with Complements (context) - Schmidt-Schauss, Smolka
193 Reasoning and Revision in Hybrid Representation Systems (context) - Nebel ACM
183 A Useful Four-Valued Logic (context) - Belnap - 1977
177 Fundamentals of Algebraic Specification 1: Equations and Ini.. (context) - Ehrig, Mahr - 1985
154 Introduction to Artificial Intelligence (context) - Charniak, McDermott - 1985
150 Entailment: The Logic of Relevance and Necessity (context) - Anderson, Belnap - 1975
130 Semantic Memory (context) - Quillian - 1968
126 Semantical Considerations on Floyd-Hoare Logic - Pratt - 1976
119 login: A Logic Programming Language with BuiltIn Inheritance (context) - Ait-Kaci, Nasr - 1986
118 Boolean Algebras with Operators (context) - J'onsson, Tarski - 1952
108 Journal of Symbolic Logic (context) - Tarski - 1941
107 Readings in Knowledge Representation (context) - Brachman, Levesque - 1985 ACM
97 A Formalization of Set Theory without Variables (context) - Tarski, Givant - 1987
93 Feature Constraint Logics for Unification Grammars - Smolka - 1989
88 Subsumption Algorithms for Concept Description Languages - Hollunder, Nutt et al. - 1990
84 A Completeness Theorem for Kleene Algebras and the Algebra o.. - Kozen ACM DBLP
83 A Course in Universal Algebra - Burris, Sankappanavar - 1981
76 Equations and Rewrite Rules: A Survey (context) - Huet, Oppen - 1980 ACM
74 the Structure of Abstract Algebras (context) - Birkhoff - 1935
72 Computational Complexity of Terminological Reasoning in back - Nebel - 1988 ACM DBLP
65 An Essential Hybrid Reasoning System: Knowledge and Symbol L.. (context) - Brachman, Gilbert et al. - 1985
65 Universal Algebra (context) - Cohn - 1981
61 Universal Algebra (context) - Gratzer - 1979 ACM
59 Equational Logic as a Programming Language (context) - O'Donnell - 1985
56 Lecture Notes in Computer Science (context) - Jouannaud - 1985
52 Algebraic Approaches to Program Semantics (context) - Manes, Arbib - 1986
48 and Generic Modules for Logic Programming (context) - Goguen, Meseguer - 1986
45 Undecidability of Subsumption in nikl (context) - Patel-Schneider
44 What IS-A Is and Isn't: An Analysis of Taxonomic Links in Se.. (context) - Brachman - 1983
42 Distributive and Modular Laws in the Arithmetic of Relation .. (context) - Chin, Tarski - 1951
39 Small can be Beautiful in Knowledge Representation (context) - Patel-Schneider - 1984
39 The Theory of Representation for Boolean Algebras (context) - Stone - 1936
36 On Representable Relation Algebras (context) - Monk - 1964
36 The Origin of Relation Algebras in the Development and Axiom.. - Maddux
35 American Mathematical Society Colloquium Publications (context) - Birkhoff - 1973
35 The SNePS Semantic Network Processing System (context) - Shapiro - 1979
34 Encoding Knowledge in Partitioned Networks (context) - Hendrix - 1979
34 American Mathematical Monthly (context) - Henkin - 1977
33 What's in a concept: Structural Foundations for Semantic Net.. (context) - Brachman - 1977 DBLP
33 Relation Algebras with Transitive Closure (context) - Ng, Tarski - 1977
33 Relation Algebras with Transitive Closure (context) - Ng - 1984
32 Algorithmics: The Spirit of Computing (context) - Harel - 1987
32 Representation and Reasoning with Attributive Descriptions (context) - Nebel, Smolka - 1989 ACM
30 A Four-Valued Semantics for Terminological Logics (context) - Patel-Schneider ACM DBLP
28 Principles of Semantic Networks: Explorations in the Represe.. (context) - Sowa - 1990
27 Taxonomic Reasoning with Many-Sorted Logics (context) - Cohn - 1989
27 Lectures on Boolean Algebras (context) - Halmos - 1974
26 Recent Developments in nikl (context) - Kaczmarek, Bates et al. - 1986 DBLP
26 I Lied about the Trees (context) - Brachman - 1985
26 Topics in Relation Algebras (context) - Maddux
23 Vivid Knowledge and Tractable Reasoning: Preliminary Report - Etherington, Borgida et al. - 1989
21 Dynamic Algebras as a Well-Behaved Fragment of Relation Alge.. - Pratt
20 Some Problems and Non-Problems in Representation Theory (context) - Hayes - 1974
20 Varieties of Relation Algebras (context) - J'onsson - 1982
20 Models and Ultraproducts: An Introduction (context) - Bell, Slomson - 1971
20 A Sequent Calculus for Relation Algebras (context) - Maddux - 1983
19 Boolean Algebras (context) - Sikorski - 1964
19 Classification in the klone Knowledge Representation System (context) - Schmolze, Lipkis - 1983
19 Residuation Theory (context) - Blyth, Janowitz - 1972
19 Associative Networks: Representation and Use of Knowledge by.. (context) - Findler - 1979
17 Competence in Knowledge Representation (context) - Brachman, Levesque - 1982 DBLP
16 Efficient Implementation of Lattice Operations - Ait-Kaci, Boyer et al. - 1989 ACM DBLP
16 Nonfinite Axiomatizability Results for Cylindric and Relatio.. (context) - Maddux - 1989 DBLP
16 Representations of Integral Relation Algebras (context) - McKenzie - 1970
15 Propositional Dynamic Logic of Programs: A Survey (context) - Parikh - 1981
15 Logic-Based Knowledge Representation System (context) - Patel-Schneider
15 Technische Universitat Berlin (context) - Schild, Undecidability - 1988
15 Attributive Concept Description with Unions and Complements (context) - Schmidt-Schauss, Smolka
15 Data Models in Knowledge Representation Systems: A Case Stud.. (context) - Edelmann, Owsnicki - 1986
15 An Overview of Knowledge Representation (context) - Mylopoulos, Levesque - 1983 ACM DBLP
14 Relation Algebras: Concept of Points and Representability (context) - Schmidt, Strohlein - 1985
14 New Sets of Independent Postulates for the Algebra of Logic (context) - -- - 1933
12 the Duality of Dynamic Algebras and Kripke Models (context) - Kozen - 1981
12 Equational Logic and Equational Theories of Algebras (context) - Tarski - 1968
12 Logic-Based Knowledge Representation (context) - Patel-Schneider DBLP
12 On Kleene Algebras and Closed Semirings - Kozen ACM DBLP
11 Contributions to the Theory of Models (context) - Tarski - 1955
10 A Representation Theorem for Models of -free PDL (context) - Kozen - 1980
9 Variable-free Semantics for Anaphora (context) - Bottner - 1989
9 Some Sufficient Conditions for the Representability of Relat.. (context) - Maddux
9 University of Cambridge (context) - Brink - 1978
8 Journal of Algebra (context) - Brink - 1981
8 Terminological Knowledge Representation Systems Supporting n.. (context) - Schmolze - 1989 ACM DBLP
8 Elimination of Quantifiers in the Semantics of Natural Langu.. (context) - Suppes - 1976
7 Semantics of Context-Free Fragments of Natural Languages (context) - -- - 1973
6 or No Notation Without Denotation (context) - McDermott - 1978
6 Readings in Artificial Intelligence and Databases (context) - Mylopoulos, Brodie - 1989 ACM
6 Algebraic Logic and Universal Algebra in Computer Science (context) - Bergman, Maddux et al. ACM
6 Variable-Free Semantics for Negations with Prosodic Variatio.. (context) - Suppes - 1979
6 Algebraic Logic and Universal Algebra in Computer Science (context) - Bergman, Maddux et al. - 1991 ACM
6 Logic and Semantic Networks (context) - Deliyanni, Kowalski - 1979 ACM DBLP
6 Two Dogmas of Knowledge Representation: Language Restriction.. (context) - Doyle, Patil - 1989
5 Sets of Independent Postulates for the Algebra of Logic (context) - Huntington - 1904
5 A Complete Natural Deduction System for the Relational Calcu.. (context) - Wadge - 1975 ACM
5 Journal of Combinatorial Theory (context) - Birkhoff, Lipson - 1970
5 What's Important about Knowledge Representation (context) - Woods - 1983
5 Direct Inference in English (context) - Suppes - 1981
4 Relation Algebras and Schroder Categories (context) - J'onsson - 1988
4 Information Sciences Institute (context) - Moore - 1986
4 Object-Based Knowledge Representation for Knowledge-Based Sy.. (context) - Patel-Schneider - 1990
4 Representation and Understanding: Studies in Cognitive Scien.. (context) - Bobrow, Collins et al. - 1985
4 Studies in Logic and the Foundations of Mathematics (context) - Henkin, Monk et al. - 1985
3 A Short Companion to the Naive Physics Manifesto (context) - Israel - 1985
3 Postulates for the Calculus of Binary Relations (context) - -- - 1940 DBLP
3 A Proof-System for the First-Order Relational Calculus (context) - Hennessy - 1980
3 Knowledge Representation: Features of Knowledge (context) - Delgrande, Mylopoulos - 1986
3 Personal communication with C (context) - Maddux
3 Subsumption Algorithms for Some Attributive Concept Descript.. (context) - Hollunder - 1989
2 Resolution of Equations in Algebraic Structures (context) - Smolka, Nutt et al. - 1989
2 Formal Logic: The Calculus of Inference (context) - De Morgan - 1989
2 Current Trends in SNePS-Semantic Network Processing System (context) - Kumar - 1990
2 Personal communication (context) - Bottner - 1990
2 Lecture Notes in Artificial Intelligence (context) - in, Subseries et al. - 1987
2 van Nostrand Co (context) - Gratzer, Universal - 1968
2 Report on the Workshop on Term Subsumption Languages in Know.. (context) - Patel-Schneider - 1989
2 Theory and Problems of Boolean Algebra and Switching Circuit.. (context) - Mendelson - 1970
2 Department of Computer Science (context) - Britz, Relations - 1988
2 Upper Bounds for a Proof-Search in a Sequent Calculus for Re.. (context) - Schonfeld - 1982
1 Frame Representation and the Declarative/Procedural Controve.. (context) - Computation, University et al. - 1975
1 To appear in Theoretical Linguistics (context) - Bottner - 1986
1 Reprinted in Brachman and Levesque (context) - Conference, Sussex - 1985
1 A Formal Definition for Expressive Power of Knowledge Repres.. (context) - on, Brighton et al. - 1990
1 To appear in Computers and Mathematics with Applications (context) - Woods, Schmolze - 1991
1 Foundations of Equational Logic Programming (context) - Computer, Sciences et al. - 1989
1 MIT Laboratory for Computer Science (context) - Pratt - 1979
1 Taxonomic Reasoning (context) - Attardi, Corradini et al. - 1986 DBLP
1 Refutational Theorem Proving using Term-Rewriting Systems (context) - Kaiserslautern, Hsiang - 1985 ACM DBLP
1 Thesis Reprint TR (context) - Pretorius, The - 1990
1 Special Issue on Knowledge Representation (context) - --, Computer - 1983
1 McGraw-Hill Book Co (context) - Rich - 1983
1 the Epistomological Status of Semantic Networks (context) - Studies, Brachman et al. - 1979
1 A Description-Oriented Logic for Building Knowledge Bases (context) - in, Universalis et al. - 1986
1 Special Issue on Computational Linguistics (context) - Israel
1 Knowledge Representation Workshop (context) - Nat, AI - 1983
1 The Tractability of Subsumption in Frame-Based Description L.. (context) - Nat, AI et al. - 1984
1 Relatively Free Relation Algebras (context) - Princeton, Princeton et al. - 1990 ACM DBLP
1 Distinctions and Confusions: A Catalogue Raisonne (context) - Norwood, Jersey et al. - 1981
1 and Reiter (context) - Brachman, Levesque - 1989
1 Fundamental Mechanisms for Artificial Intelligence Programmi.. (context) - Jorrand - 1988
1 Massachusetts Institute of Technology (context) - Roberts, Goldstein - 1977
1 Towards a Hybrid Logic of Acquaintance and Awareness (context) - Saffiotti, Sebastiani - 1989 ACM
1 The Representation of Relational Algebras (context) - im, Math et al. - 1950
1 Special Issue on Semantic Networks in Artificial Intelligenc.. (context) - Mathematics - 1991
1 Program Specifications as Boolean Operators: A Very Prelimin.. (context) - J'onsson - 1948
1 Automated Deduction by Theory Resolution (context) - Arthur, by et al. - 1985 ACM DBLP
1 and Zolezzi (context) - Spinelli, Gaglio et al. - 1988
1 To appear in Computational Intelligence (context) - Schmolze
1 BBN Technical Report No (context) - No, Beranek et al. - 1983
1 Technical Report TR-ARP (context) - Siekmann - 1987
1 Two Axiom Systems for Relation Algebras (context) - Brink - 1979
1 Vorlesungen uber die Algebra der Logik III: Algebra und Logi.. (context) - Schroder - 1979
1 Special Interdisciplinary Edition Devoted to Logic (context) - Brink, On et al. - 1988
1 To appear in Computers and Mathematics with Applications (context) - Brink, Schmidt - 1991
1 How a Computer Should Think (context) - Amsterdam - 1975
1 American Mathematical Society Colloquium Publications (context) - Society, Providence et al. - 1985
1 Submitted to the IEEE Symposium on Foundations of Computer S.. (context) - Software, System et al. - 1990
Documents on the same site (http://www.doc.mmu.ac.uk/STAFF/R.Schmidt/publications/): More
Issues of Decidability for Description Logics in the.. - Hustadt, Schmidt (1998) (Correct)
A Resolution-Based Decision Procedure for Extensions of K4 - Ganzinger, Hustadt.. (1998) (Correct)
Simplification and Backjumping in Modal Tableau - Hustadt, Schmidt (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC