Abstract
It is a fact that the RDF(S) model has been declared as the ground base for implementations of further web development conception. RDF provides a common and flexible way to decompose knowledge to elementary statements that allows, as networks of indivisible knowledge atoms, to be represented by RDF triples or by RDF graph vectors.
The article presents two graph based formal systems GRDF and RDFCFL defined on the base of extended RDF model with the help of clausal form logic principle and notation. The transformation process from the first order predicate logics (FOPL) to the RDF graph notation protects language expressivity and moreover both the presented systems share the partial decidability with the FOPL. As an example it is shown a reasoning of consequents in a monotonic version of the RDFCFL system.
Keywords
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Auer, S., Lehmann, J., Ngonga Ngomo, A.-C.: Introduction to linked data and its lifecycle on the web. In: Polleres, A., d’Amato, C., Arenas, M., Handschuh, S., Kroner, P., Ossowski, S., Patel-Schneider, P. (eds.) Reasoning Web 2011. LNCS, vol. 6848, pp. 1–75. Springer, Heidelberg (2011). doi:10.1007/978-3-642-23032-5_1
Tim, B.L.: Giant Global Graph. MIT, Cambridge (2007). CSail: http://dig.csail.mit.edu/breadcrumbs/node/215
Lukasová, A.: Reprezentace znalostí v asociativních sítích. In: Proceedings of Znalosti (2001). (in Czech)
Lukasová, A., Vajgl, M., Žáček, M.: Reasoning in RDF graphic formal system with quantifiers. In: Proceedings of the International Multiconference on Computer Science and Information Technology, Mragowo, Poland. pp. 67–72. IEEE Computer Society (2010). ISBN 978-1-4244-6432-6
Lukasová, A., Žáček, M., Vajgl, M.: Building a non-monotonic default theory in GCFL graph-version of RDF. In: Silhavy, R., Senkerik, R., Oplatkova, Z.K., Silhavy, P., Prokopova, Z. (eds.) CSOC 2014. AISC, vol. 285, pp. 455–465. Springer, Heidelberg (2014). doi:10.1007/978-3-319-06740-7_38
Lukasová, A., Vajgl, M., Žáček, M.: Knowledge represented using RDF semantic network in the concept of semantic web. In: Proceedings of the International Conference of Numerical Analysis and Applied Mathematics 2015, (ICNAAM 2015). American Institute of Physics, USA (2016)
Lukasová, A., Vajg, M., Žáček, M.: Reasoning in graph-based clausal form logic. IJCSI-Int. J. Comput. Sci. 9 (1(3)) 37–43 (2012). ISSN 1694-0814
Lukasová, A.: Formal Logics in Artificial Intelligence (Formální logika v umělé inteligenci) Computer Press (2003). (in Czech)
Lukasová, A., Vajgl, M.: Genzen-like proofs in description logic DL1. In: Proceedings of the Tenth International Conference on Informatics 2009, Košice (2009)
Richards, T.: Clausal Form Logic an Introduction to the Logic of Computer Reasoning. Addison-Wesley, Boston (1989)
Žáček, M., Lukasová, A., Miarka, R. Modeling knowledge base and derivation without predefined structure by graph-based clausal form logic. In: Proceedings of the 2013 International Conference on Advanced ICT and Education, pp. s.546–s.549. Atlantis Press: AISR, France (2013). ISBN 978-90786-77-79-6
Žáček, M., Lukasová, A.: English grammatical rules representation by a meta-language based on RDF model and predicate clausal form. Inf.-Int. Interdisc. J. 19, 4009–4015 (2016). ISSN 1343-4500
Acknowledgments
The research described here has been financially supported by University of Ostrava grant SGS13/PřF/2016. 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
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Lukasová, A., Žáček, M., Vajgl, M. (2017). Reasoning in Formal Systems of Extended RDF Networks. In: Nguyen, N., Tojo, S., Nguyen, L., Trawiński, B. (eds) Intelligent Information and Database Systems. ACIIDS 2017. Lecture Notes in Computer Science(), vol 10192. Springer, Cham. https://doi.org/10.1007/978-3-319-54430-4_36
Download citation
DOI: https://doi.org/10.1007/978-3-319-54430-4_36
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-54429-8
Online ISBN: 978-3-319-54430-4
eBook Packages: Computer ScienceComputer Science (R0)