-
Eklund. P.W.: Logic-based networks : concept graphs and conceptual structures (2000)
0.03
0.025996659 = product of:
0.07798997 = sum of:
0.07798997 = product of:
0.15597995 = sum of:
0.15597995 = weight(_text_:networks in 5084) [ClassicSimilarity], result of:
0.15597995 = score(doc=5084,freq=10.0), product of:
0.22247115 = queryWeight, product of:
4.72992 = idf(docFreq=1060, maxDocs=44218)
0.047034867 = queryNorm
0.70112437 = fieldWeight in 5084, product of:
3.1622777 = tf(freq=10.0), with freq of:
10.0 = termFreq=10.0
4.72992 = idf(docFreq=1060, maxDocs=44218)
0.046875 = fieldNorm(doc=5084)
0.5 = coord(1/2)
0.33333334 = coord(1/3)
- Abstract
- Logic-based networks are semantic networks that support reasoning capabilities. In this paper, knowledge processing within logicbased networks is viewed as three stages. The first stage involves the formation of concepts and relations: the basic primitives with which we wish to formulate knowledge. The second stage involves the formation of wellformed formulas that express knowledge about the primitive concepts and relations once isolated. The final stage involves efficiently processing the wffs to the desired end. Our research involves each of these steps as they relate to Sowa's conceptual structures and Wille's concept lattices. Formal Concept Analysis gives us a capability to perform concept formation via symbolic machine learning. Concept(ual) Graphs provide a means to describe relational properties between primitive concept and relation types. Finally, techniques from other areas of computer science are required to compute logic-based networks efficiently. This paper illustrates the three stages of knowledge processing in practical terms using examples from our research
-
Neuss, C.; Kent, R.E.: Conceptual analysis of resource meta-information (1995)
0.02
0.015501413 = product of:
0.046504237 = sum of:
0.046504237 = product of:
0.09300847 = sum of:
0.09300847 = weight(_text_:networks in 2204) [ClassicSimilarity], result of:
0.09300847 = score(doc=2204,freq=2.0), product of:
0.22247115 = queryWeight, product of:
4.72992 = idf(docFreq=1060, maxDocs=44218)
0.047034867 = queryNorm
0.4180698 = fieldWeight in 2204, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
4.72992 = idf(docFreq=1060, maxDocs=44218)
0.0625 = fieldNorm(doc=2204)
0.5 = coord(1/2)
0.33333334 = coord(1/3)
- Source
- Computer networks and ISDN systems. 27(1995) no.6, S.973-984
-
Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen : Ein Beitrag zur Restrukturierung der mathematischen Logik (1998)
0.01
0.010620959 = product of:
0.031862877 = sum of:
0.031862877 = product of:
0.063725755 = sum of:
0.063725755 = weight(_text_:22 in 3142) [ClassicSimilarity], result of:
0.063725755 = score(doc=3142,freq=2.0), product of:
0.1647081 = queryWeight, product of:
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.047034867 = queryNorm
0.38690117 = fieldWeight in 3142, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.078125 = fieldNorm(doc=3142)
0.5 = coord(1/2)
0.33333334 = coord(1/3)
- Date
- 26. 2.2008 15:58:22
-
Vogt, F.; Wille, R.: TOSCANA - a graphical tool for analyzing and exploring data (1995)
0.01
0.008496767 = product of:
0.0254903 = sum of:
0.0254903 = product of:
0.0509806 = sum of:
0.0509806 = weight(_text_:22 in 1901) [ClassicSimilarity], result of:
0.0509806 = score(doc=1901,freq=2.0), product of:
0.1647081 = queryWeight, product of:
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.047034867 = queryNorm
0.30952093 = fieldWeight in 1901, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.0625 = fieldNorm(doc=1901)
0.5 = coord(1/2)
0.33333334 = coord(1/3)
- Source
- Knowledge organization. 22(1995) no.2, S.78-81
-
Priss, U.: Faceted information representation (2000)
0.01
0.0074346713 = product of:
0.022304013 = sum of:
0.022304013 = product of:
0.044608027 = sum of:
0.044608027 = weight(_text_:22 in 5095) [ClassicSimilarity], result of:
0.044608027 = score(doc=5095,freq=2.0), product of:
0.1647081 = queryWeight, product of:
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.047034867 = queryNorm
0.2708308 = fieldWeight in 5095, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.0546875 = fieldNorm(doc=5095)
0.5 = coord(1/2)
0.33333334 = coord(1/3)
- Date
- 22. 1.2016 17:47:06
-
Priss, U.: Faceted knowledge representation (1999)
0.01
0.0074346713 = product of:
0.022304013 = sum of:
0.022304013 = product of:
0.044608027 = sum of:
0.044608027 = weight(_text_:22 in 2654) [ClassicSimilarity], result of:
0.044608027 = score(doc=2654,freq=2.0), product of:
0.1647081 = queryWeight, product of:
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.047034867 = queryNorm
0.2708308 = fieldWeight in 2654, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.0546875 = fieldNorm(doc=2654)
0.5 = coord(1/2)
0.33333334 = coord(1/3)
- Date
- 22. 1.2016 17:30:31
-
Conceptual structures : logical, linguistic, and computational issues. 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000 (2000)
0.01
0.0058130296 = product of:
0.017439088 = sum of:
0.017439088 = product of:
0.034878176 = sum of:
0.034878176 = weight(_text_:networks in 691) [ClassicSimilarity], result of:
0.034878176 = score(doc=691,freq=2.0), product of:
0.22247115 = queryWeight, product of:
4.72992 = idf(docFreq=1060, maxDocs=44218)
0.047034867 = queryNorm
0.15677617 = fieldWeight in 691, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
4.72992 = idf(docFreq=1060, maxDocs=44218)
0.0234375 = fieldNorm(doc=691)
0.5 = coord(1/2)
0.33333334 = coord(1/3)
- Content
- Concepts and Language: The Role of Conceptual Structure in Human Evolution (Keith Devlin) - Concepts in Linguistics - Concepts in Natural Language (Gisela Harras) - Patterns, Schemata, and Types: Author Support through Formalized Experience (Felix H. Gatzemeier) - Conventions and Notations for Knowledge Representation and Retrieval (Philippe Martin) - Conceptual Ontology: Ontology, Metadata, and Semiotics (John F. Sowa) - Pragmatically Yours (Mary Keeler) - Conceptual Modeling for Distributed Ontology Environments (Deborah L. McGuinness) - Discovery of Class Relations in Exception Structured Knowledge Bases (Hendra Suryanto, Paul Compton) - Conceptual Graphs: Perspectives: CGs Applications: Where Are We 7 Years after the First ICCS ? (Michel Chein, David Genest) - The Engineering of a CC-Based System: Fundamental Issues (Guy W. Mineau) - Conceptual Graphs, Metamodeling, and Notation of Concepts (Olivier Gerbé, Guy W. Mineau, Rudolf K. Keller) - Knowledge Representation and Reasonings: Based on Graph Homomorphism (Marie-Laure Mugnier) - User Modeling Using Conceptual Graphs for Intelligent Agents (James F. Baldwin, Trevor P. Martin, Aimilia Tzanavari) - Towards a Unified Querying System of Both Structured and Semi-structured Imprecise Data Using Fuzzy View (Patrice Buche, Ollivier Haemmerlé) - Formal Semantics of Conceptual Structures: The Extensional Semantics of the Conceptual Graph Formalism (Guy W. Mineau) - Semantics of Attribute Relations in Conceptual Graphs (Pavel Kocura) - Nested Concept Graphs and Triadic Power Context Families (Susanne Prediger) - Negations in Simple Concept Graphs (Frithjof Dau) - Extending the CG Model by Simulations (Jean-François Baget) - Contextual Logic and Formal Concept Analysis: Building and Structuring Description Logic Knowledge Bases: Using Least Common Subsumers and Concept Analysis (Franz Baader, Ralf Molitor) - On the Contextual Logic of Ordinal Data (Silke Pollandt, Rudolf Wille) - Boolean Concept Logic (Rudolf Wille) - Lattices of Triadic Concept Graphs (Bernd Groh, Rudolf Wille) - Formalizing Hypotheses with Concepts (Bernhard Ganter, Sergei 0. Kuznetsov) - Generalized Formal Concept Analysis (Laurent Chaudron, Nicolas Maille) - A Logical Generalization of Formal Concept Analysis (Sébastien Ferré, Olivier Ridoux) - On the Treatment of Incomplete Knowledge in Formal Concept Analysis (Peter Burmeister, Richard Holzer) - Conceptual Structures in Practice: Logic-Based Networks: Concept Graphs and Conceptual Structures (Peter W. Eklund) - Conceptual Knowledge Discovery and Data Analysis (Joachim Hereth, Gerd Stumme, Rudolf Wille, Uta Wille) - CEM - A Conceptual Email Manager (Richard Cole, Gerd Stumme) - A Contextual-Logic Extension of TOSCANA (Peter Eklund, Bernd Groh, Gerd Stumme, Rudolf Wille) - A Conceptual Graph Model for W3C Resource Description Framework (Olivier Corby, Rose Dieng, Cédric Hébert) - Computational Aspects of Conceptual Structures: Computing with Conceptual Structures (Bernhard Ganter) - Symmetry and the Computation of Conceptual Structures (Robert Levinson) An Introduction to SNePS 3 (Stuart C. Shapiro) - Composition Norm Dynamics Calculation with Conceptual Graphs (Aldo de Moor) - From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language (Adil Kabbaj, Martin Janta-Polczynski) - A Cost-Bounded Algorithm to Control Events Generalization (Gaël de Chalendar, Brigitte Grau, Olivier Ferret)
