Abstract
The epistemological level provides primitives that connect conceptual modelling (e.g., types and properties modelling a domain) to a logical formalism. In the context of knowledge graphs, epistemological primitives manifest as languages for modelling and manipulating knowledge. In this chapter, we introduce the modelling primitives of RDF(S), SPARQL, SHACL, OWL, Rules, F-logic, and SKOS with examples.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Angele J, Kifer M, Lausen G (2009) Ontologies in F-logic. In: Studer R (ed) Staab S. Springer, Handbook on ontologies, pp 45–70
Antoniou G, Groth P, Van Harmelen F, Hoekstra R (2012) A semantic web primer, 3rd edn. MIT press
Bechhofer S (2010) SKOS: past, present and future. The Semantic Web: Research and applications. http://videolectures.net/eswc2010_bechhofer_sppf/
Carroll JJ, Bizer C, Hayes P, Stickler P (2005) Named graphs. Journal of Web Semantics 3(4):247–267
Ceri S, Gottlob G, Tanca L et al (1989) What you always wanted to know about Datalog (and never dared to ask). IEEE Trans Knowl Data Eng 1(1):146–166
Chen W, Kifer M, Warren DS (1993) HiLog: a foundation for higher-order logic programming. J Log Program 15(3):187–230
Corby O, Zucker CF, Gandon F (2014) SPARQL template: a transformation language for RDF. PhD thesis, Inria
De Giacomo G, Lenzerini M, Rosati R. On higher-order description logics. In Proceedings of the 22nd international workshop on description logics (DL2009) Oxford, July 27–30, 2009
Dumontier M (2012) Real world applications of OWL, Protege short course presentation. https://www.slideshare.net/micheldumontier/owlbased-applications
Fellbaum C (2010) Princeton university: about WordNet. https://wordnet.princeton.edu/
Fensel D, Decker S, Erdmann M, Studer R (1998) Ontobroker: the very high idea. In: Proceedings of the eleventh international Florida artificial intelligence research society conference, May 18–20, 1998, AAAI Press, Sanibel Island, FL, pp 131–135
Fensel D, Van Harmelen F, Horrocks I, McGuinness DL, Patel-Schneider PF (2001) OIL: an ontology infrastructure for the semantic web. IEEE Intell Syst 16(2):38–45
Gayo JEL, Prud’Hommeaux E, Boneva I, Kontokostas D (2017) Validating RDF data. Synthesis Lectures on Semantic Web: Theory and Technology 7(1):1–328
Halpin H, Hayes PJ, McCusker JP, McGuinness DL, Thompson HS (2010) When owl: sameAs isn’t the same: an analysis of identity in linked data. In: The semantic web–ISWC 2010: 9th international semantic web conference, ISWC 2010, Shanghai, November 7–11, 2010, Revised Selected Papers, Part I, Springer, pp 305–320
Hammond T, Pasin M, Theodoridis E (2017) Data integration and disintegration: managing springer nature SciGraph with SHACL and OWL. In: Proceedings of the international semantic web conference (ISWC) 2017 (Posters, Demos & Industry Tracks), October 21–25, Vienna
Hartig O, Champin PA (2021) Metadata for RDF statements: the RDF-Star approach. In: Lotico
Herman I (2012) SW tutorial. http://www.w3.org/People/Ivan/CorePresentations/SWTutorial
Horrocks I (2009) OWL 2: the next generation. London Semantic Web Meetup Group. http://www.cs.ox.ac.uk/people/ian.horrocks/Seminars/download/OWL2-overview.pdf
Isaac A (2011) SKOS: simple knowledge organization system. Dublin Core tutorial. https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.402.9073&rep=rep1&type=pdf/
Käfer T (2021) Distributed knowledge graphs: knowledge graphs and linked data, AI4Industry Summer School. https://ai4industry2021.sciencesconf.org/data/program/dkg.pdf
Kifer M (2005) Rules and ontologies in F-logic. In: Reasoning Web: First International Summer School 2005, Msida, Malta, July 25–29, 2005, Revised Lectures, Springer, pp 22–34
Kifer M (2011) KR and reasoning on the semantic web: RIF. In: Domingue J, Fensel D, Hendler JA (eds) . Springer, Handbook of semantic web technologies, pp 399–439
Kifer M, Lausen G (1989) F-logic: a higher-order language for reasoning about objects, inheritance and schema. In: SIGMOD/PODS04: international conference on management of data and symposium on principles database and systems, Portland, OR, June 1, pp. 134–146
Kifer M, Lausen G, Wu J (1995) Logical foundations of object-oriented and frame-based languages. J ACM 42(4):741–843
Kontokostas D, Westphal P, Auer S, Hellmann S, Lehmann J, Cornelissen R, Zaveri A (2014) Test-driven evaluation of linked data quality. In: Proceedings of the 23rd international conference on World Wide Web, Seoul, Korea, April 7–11, pp 747–758
Ludäscher B, Yang G, Kifer M (1999) Flora: The secret of object-oriented logic programming. Technical report, SUNY at Stony Brook
McGuinness D, Fikes R, Stein L, Hendler J (2003) DAML-ONT: an ontology language for the Semantic Web, pp 65–93. In: Fensel et al. [2005]
Pomarolli A, Anderlik S, Kṻng J (2012) R2RIF-rule integration plugin for Protégé OWL. In: Computer aided systems theory–EUROCAST 2011: 13th international conference, Las Palmas de Gran Canaria, Spain, February 6–11, 2011, Revised Selected Papers, Part I 13, Springer, pp 137–144
Rietveld L, Hoekstra R (2017) The YASGUI family of SPARQL clients. Semantic Web 8(3):373–383
Sack H (2020) Semantic Web Technologies. OpenHPI, Hasso Plattner Institute. https://www.youtube.com/playlist?list=PLoOmvuyo5UAeihlKcWpzVzB51rr014TwD
Straccia U (2013) Foundations of fuzzy logic and semantic web languages. Taylor & Francis
Verborgh R, De Roo J (2015) Drawing conclusions from linked data on the web: the EYE reasoner. IEEE Softw 32(3):23–27
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Serles, U., Fensel, D. (2024). Epistemology. In: An Introduction to Knowledge Graphs. Springer, Cham. https://doi.org/10.1007/978-3-031-45256-7_13
Download citation
DOI: https://doi.org/10.1007/978-3-031-45256-7_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-45255-0
Online ISBN: 978-3-031-45256-7
eBook Packages: Computer ScienceComputer Science (R0)