Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Proceedings on Conceptual Graphs for Knowledge Representation
ICCS '93 Proceedings on Conceptual Graphs for Knowledge Representation
ICCS '95 Proceedings of the Third International Conference on Conceptual Structures: Applications, Implementation and Theory
ICCS '96 Proceedings of the 4th International Conference on Conceptual Structures: Knowledge Representation as Interlingua
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
ICCS '98 Proceedings of the 6th International Conference on Conceptual Structures: Theory, Tools and Applications
Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
Knowledge Representation and Reasonings Based on Graph Homomorphism
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
Master-slave systems of semantic schemas and applications
ISC '07 Proceedings of the 10th IASTED International Conference on Intelligent Systems and Control
Authentication hierarchy in distributed deductive databases
ICCOMP'10 Proceedings of the 14th WSEAS international conference on Computers: part of the 14th WSEAS CSCC multiconference - Volume I
| Hi-index | 0.00 |
The concept of labelled stratified graph (LSG) was introduced in Tandaeanu (Knowledge Inform. Syst. 2(4) (2000) 438) in connection with that of knowledge base with output (KBO). The aim of this paper is to present a distinct facet of this concept. We prove several algebraic properties for LSGs and we conclude that a LSG can be used independently of a KBO. In order to realize this aim we define a partial order ≤ on the set Strat(G) of all LSGs over a labelled graph G, an equivalence relation ≃ on Strat(G) and a partial order ⊑ on the factor set Strat(G)/≃. The set Strat(G)/≃ endowed with ⊑ becomes a join semilattice with greatest element. Each equivalence class C ∈ Strat(G)/≃ contains an unique LSG, which is named distinguished representative of C. This is the least element of (C, ≤). Particularly we obtain the distinguished representative for the supremum of two classes (DRS) and the greatest distinguished LSG (the least LSG of the greatest element of Strat(G)/≃, denoted GD). Two applications are presented, one for DRS and one for GD. Several opens problems are briefly exposed in the last section.