Reasoning in Graph-based Clausal Form Logic
This paper follows the work of T. Richards specialization Clausal Form Logic formal system of the first order logic. The paper presents also the way of using graph-based clausal form statements in the frame of semantic (associative) networks. The goal of our research is to follow the direction towards graph-based clausal form knowledge representation shaped by Richards and build up a graph-based formal system. The new formal system Graph-based Clausal Form Logic has its own graph-based language with the expressivity similar to that one of CFL. The idea of the GCFL graph-based approach is also useful in the frame of the RDF model especially in its graph version.
Keywords: Clausal Form Logic, formal system, graph, Graph-based Clausal Form Logic, RDF model.
Download Full-Text
ABOUT THE AUTHORS
Alena Lukasova
Alena Lukasova has been working as a professor at the Department of Informatics and Computers at the University of Ostrava (Czech Republic). Her interests include theoretical principles of information and knowledge systems and tools of representation of semantically structured knowledge (database systems with knowledge bases components and their semantics), formal deduction in concept oriented languages, formal ontology for information systems, principles of ontology driven (based) information systems, and sharable knowledge patterns. She is author more than 50 scientific publications.
Martin Zacek
Martin Zacek graduated at the University of Ostrava (Czech Republic). The focus of his dissertation is a formal deduction in graph knowledge representation systems. The PhD thesis includes four graph systems: semantic (associative) networks, conceptual graphs of Sowa, RDF model and Topic Maps. The topic of the PhD thesis corresponds to the content of this article. He is author more than 10 scientific publications. In 2010 he won award “Young Scientist” at the International Multiconference on Computer Science and Information Technology awarded by the International Fuzzy Systems Association Distinction for the presentation of article Reasoning in RDFgraphic formal system with quantifier.
Marek Vajgl
Marek Vajgl graduated at the University of Ostrava (Czech Republic) and defended PhD. thesis with title “A proposal of tool for creating and updating knowledge bases for semantic web”. He has been working as a lecturer at the Department of Informatics and Computers, University of Ostrava. His interests include descriptive logic formalism which is frequently used as semantic web formalism. He is author more than 20 scientific publications.
Alena Lukasova
Alena Lukasova has been working as a professor at the Department of Informatics and Computers at the University of Ostrava (Czech Republic). Her interests include theoretical principles of information and knowledge systems and tools of representation of semantically structured knowledge (database systems with knowledge bases components and their semantics), formal deduction in concept oriented languages, formal ontology for information systems, principles of ontology driven (based) information systems, and sharable knowledge patterns. She is author more than 50 scientific publications.
Martin Zacek
Martin Zacek graduated at the University of Ostrava (Czech Republic). The focus of his dissertation is a formal deduction in graph knowledge representation systems. The PhD thesis includes four graph systems: semantic (associative) networks, conceptual graphs of Sowa, RDF model and Topic Maps. The topic of the PhD thesis corresponds to the content of this article. He is author more than 10 scientific publications. In 2010 he won award “Young Scientist” at the International Multiconference on Computer Science and Information Technology awarded by the International Fuzzy Systems Association Distinction for the presentation of article Reasoning in RDFgraphic formal system with quantifier.
Marek Vajgl
Marek Vajgl graduated at the University of Ostrava (Czech Republic) and defended PhD. thesis with title “A proposal of tool for creating and updating knowledge bases for semantic web”. He has been working as a lecturer at the Department of Informatics and Computers, University of Ostrava. His interests include descriptive logic formalism which is frequently used as semantic web formalism. He is author more than 20 scientific publications.
