Abstract
An article tries to see a group of semantic web representation and communication means like description logics, semantic networks, RDF model and language, OWL language, RDF CFL etc. taking a part at the development of formal ontologies from a slightly higher (meta) level. A focus has been oriented towards properties that semantic web language ought to have to fulfill according to a semantic web idea. Consequently the article tries to draw by the help of the means above the trip towards a proper semantic-web ontology language fulfilling the main demands of expressivity and also easy-to-use conditions. Even if the development of a semantic web language was until now much more complicated with a taking part of a lot of people or companies the authors of the article try to contribute to an analyzing of the actual state by drawing it as a cloud of demands, streams, events or condition’s fulfilling that at the end would have brought into the world an easy-to-usable semantic web ontology language having all the demands fulfilled. The article moreover shows that a language RDF CFL belongs nowadays to the semantic web family as a unique well usable tool of reasoning within semantic web knowledge bases.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Baader, F. (ed.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, New York (2003). ISBN 0-521-78176-0
Hjelm, J.: Creating the Semantic Web with RDF: Professional. Wiley, New York (2001)
Lukasová, A.: Knowledge representation in associative networks. In: Proceedings of the Znalosti (2001). (in Czech)
Lukasová, A., Žáček, M.: English grammatical rules representation by a meta-language based on RDF model and predicate clausal form. Information 19, 4009–4015 (2016). ISSN 1343-4500
Lukasová, A., Vajgl, M., Žáček, M.: Knowledge represented using RDF semantic network in the concept of semantic web. In: International Conference of Numerical Analysis and Applied Mathematics 2015, ICNAAM 2015: Proceedings of the International Conference on Numerical Analysis and Applied Mathematics 2015 (ICNAAM-2015), 23 September 2015. American Institute of Physics Inc., Rhodes (2016). https://doi.org/10.1063/1.4951895. ISBN 978-0-7354-1392-4
Lukasová, A.: Formal Logics in Artificial Intelligence (Formální logika v umělé inteligenci). Computer Press (2003)
Lukasová, A., Žáček, M., Vajgl, M.: Carstairs-McCarthy’s morphological rules of English language in RDFCFL graphs. In: Ntalianis, K., Croitoru, A. (eds.) APSAC 2017. LNEE, vol. 428, pp. 169–174. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-53934-8_20
Richards, T.: Clausal Form Logic. An Introduction to the Logic of Computer Reasoning. Addison – Wesley, Boston (1989)
Vajgl, M., Lukasová, A., Žáček, M.: Knowledge bases built on web languages from the point of view of predicate logics. In: 1st International Conference on Applied Mathematics and Computer Science, ICAMCS 2017: AIP Conference Proceedings 19 January 2017. American Institute of Physics Inc., Rome (2017). https://doi.org/10.1063/1.4981998. ISBN 978-073541506-5
Žáček, M.: Ontology or formal ontology. In: International Conference of Numerical Analysis and Applied Mathematics 2016, ICNAAM 2016: AIP Conference Proceedings 19 September 2016. American Institute of Physics Inc., Rhodes (2017). https://doi.org/10.1063/1.4992234. ISBN 978-073541538-6
Žáček, M., Lukasová, A., Miarka, R.: Modeling knowledge base and derivation without predefined structure by Graph-based Clausal Form Logic. In: The 2013 International Conference on Advanced ICT (Information and Communication Technology) for Education: Proceedings of the 2013 International Conference on Advanced ICT and Education 20 September 2013, Sanya, China, AISR 2013, pp. 546–549. Atlantis Press, France (2013). ISBN 978-90786-77-79-6. WOS 000327670900110
Žáček, M., Miarka, R., Sýkora, O.: Visualization of semantic data. In: Silhavy, R., Senkerik, R., Oplatkova, Z.K., Prokopova, Z., Silhavy, P. (eds.) Artificial Intelligence Perspectives and Applications. AISC, vol. 347, pp. 277–285. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-18476-0_28
Acknowledgments
The research described here has been financially supported by University of Ostrava grant SGS10/PřF/2017. 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
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Žáček, M., Lukasová, A., Vajgl, M. (2018). Ontology Languages for Semantic Web from a Bit Higher Level of Generality. In: Nguyen, N., Hoang, D., Hong, TP., Pham, H., Trawiński, B. (eds) Intelligent Information and Database Systems. ACIIDS 2018. Lecture Notes in Computer Science(), vol 10752. Springer, Cham. https://doi.org/10.1007/978-3-319-75420-8_26
Download citation
DOI: https://doi.org/10.1007/978-3-319-75420-8_26
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-75419-2
Online ISBN: 978-3-319-75420-8
eBook Packages: Computer ScienceComputer Science (R0)