Abstract
From the web discussion on a difference between knowing and believing, we have chosen in this paper the statements fulfilling enough our seeing the topic, corresponding to our knowledge level of cognitive science. The aim of paper shows one of the capabilities of our Resource Description Framework Clausal Form Logic (RDF CFL) graph language using as an example a well- known Castaněda’s puzzle. RDF CFL is an appropriate tool that contains a package of inference methods working especially in closed-worlds that have been developed in the clausal form of first order predicate logics.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Žáček, M., Lukasová,A.: Making a shift from believing to knowing by the help of RDF CFL formal representation. In: 2nd International Conference on Applied Physics, System Science and Computers, APSAC2017, Lecture Notes in Electrical Engineering, vol. 489, pp. 148–155 (2019). https://doi.org/10.1007/978-3-319-75605-9_21
Lukasová, A., Žáček, M., Vajgl, M.: Carstairs-mccarthy’s morphological rules of english language in RDFCFL graphs. In: International Conference on Applied Physics, System Science and Computers, APSAC 2016, Lecture Notes in Electrical Engineering, Springer Verlag. https://doi.org/10.1007/978-3-319-53934-8_20
Lukasová, A., Žáček, M.: English grammatical rules representation by a meta-language based on RDF model and predicate clausal form. Information (Japan), 19(9B), ISSN: 13434500 (International Information Institute Ltd.) 4009–4015
Lukasová, A., Žáček, M., Vajgl, M.: Reasoning in Graph-based Clausal Form Logic. IJCSI Int. J. Comp. Sci. Issues 9(1), 37–43 (2012). No. 3. ISSN (Online) 1694–0814
Castaněda,H.N.: Philosofhy as a Scienceand as a Worldview. In: Cohen, A. Dascal, M. (eds.), The Institution of Philosophy Open Court, Peru, IL (1989)
Shapiro, S.C., Rapaport, W.J.: Models and Minds. Knowledge Representation for Natural-Language Competence
Miarka, R., Zacek, M.: Knowledge patterns in RDF graph language for English sentences. In: Federated Conference on Computer Science and Information Systems, FedCSIS, pp. 109–115 (2012)
Miarka, R., Žáček, M.: Knowledge patterns for conversion of sentences in natural language into RDF graph language. In: Federated Conference on Computer Science and Information Systems, FedCSIS, pp. 63–68 (2011)
Žáček, M., Lukasová, A., Miarka, R.: Modeling knowledge base and derivation without pre-defined structure by Graph-based Clausal Form Logic. In: Proceedings of the 2013 International Conference on Advanced ICT and Education. France: Atlantis Press: AISR, pp. 546–549. ISBN 978-90786-77-79-6 (2013)
Telnarova, Z., Rombová, Z.: Data modelling and ontological semantics. In: T.E. Simons et al. (eds.) AIP Conference Proceedings, vol. 1648 American Institute of Physics, Melville, NY (2015), 1648. https://doi.org/10.1063/1.4912763
Shapiro, S.C., Rapaport, W.J.: The SNePS family. Comput.Math. Appli. 23, 243–275. 1192
Manisha, K.: Difference between Knowing and Believing. In: DifferenceBetween.net, 10 January 2010. http://www.differencebetween.net/miscellaneous/difference-between-knowing-and-believing/
lukasová, a., vajgl, m., žáček, M.: Knowledge represented using RDF semantic network in the concept of semantic web. In: Simos, T.E. et al. (eds.) International Conference of Numerical Analysis and Applied Mathematics 2015, ICNAAM 2015, AIP Conference Proceedings, vol. 1738, p. 120012. American Institute of Physics, Melville, NY (2015). https://doi.org/10.1063/1.4951895
Žáček, M., Miarka, R., Sýkora, O.: Visualization of semantic data. In: Silhavy, R. et al. (eds.), pp. 277–285. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-18476-0_28
Žáček, M.: Ontology or formal ontology. In: Simons, T.E. et al. (eds.) AIP Conference Proceedings, vol. 1863. American Institute of Physics, Melville, NY (2017). http://doi.org/186310.1063/1.4992234
Žáček, M., Homola, D.: Analysis of the english morphology by semantic networks. In: Simons, T.E. et al. (eds.) AIP Conference Proceedings, vol. 1906. American Institute of Physics, Melville, NY (2017). http://doi.org/190610.1063/1.5012351
Vajgl, M., Lukasová, A., Žáček, M.: Knowledge bases built on web languages from the point of view of predicate logics. In: Ntalianis, K. (ed.) AIP Conference Proceedings, vol. 1836. American Institute of Physics, Melville, NY (2017). https://doi.org/10.1063/1.4981998
Žáček, M., Lukasová, A.: Making a shift from believing to knowing by the help of RDF CFL formal representation. In: International Conference on: Applied Physics, System Science and Computers. https://doi.org/10.1007/978-3-319-75605-9_21
Acknowledgments
The research described here has been financially supported by University of Ostrava grant SGS06/PřF/2018. Any opinions, findings and conclusions or recommendations expressed in this material are those of the authors and do not reflect the views of the sponsors.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Žáček, M., Lukasová, A., Raunigr, P. (2019). Knowing and/or Believing a Think: Deriving Knowledge Using RDF CFL. In: Ntalianis, K., Vachtsevanos, G., Borne, P., Croitoru, A. (eds) Applied Physics, System Science and Computers III. APSAC 2018. Lecture Notes in Electrical Engineering, vol 574 . Springer, Cham. https://doi.org/10.1007/978-3-030-21507-1_10
Download citation
DOI: https://doi.org/10.1007/978-3-030-21507-1_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-21506-4
Online ISBN: 978-3-030-21507-1
eBook Packages: Physics and AstronomyPhysics and Astronomy (R0)