Abstract
Since the development of Notation3 Logic, several years have passed in which the theory has been refined and used in practice by different reasoning engines such as cwm, FuXi or EYE. Nevertheless, a clear model-theoretic definition of its semantics is still missing. This leaves room for individual interpretations and renders it difficult to make clear statements about its relation to other logics such as DL or FOL or even about such basic concepts as correctness. In this paper we address one of the main open challenges: the formalization of implicit quantification. We point out how the interpretation of implicit quantifiers differs in two of the above mentioned reasoning engines and how the specification, proposed in the W3C team submission, could be formalized. Our formalization is then put into context by integrating it into a model-theoretic definition of the whole language. We finish our contribution by arguing why universal quantification should be handled differently than currently prescribed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
FuXi 1.4: A Python-based, bi-directional logical reasoning system for the semantic web. http://code.google.com/p/fuxi/
Beckett, D., Berners-Lee, T., Prud’hommeaux, E., Carothers, G.: Turtle - Terse RDF Triple Language. w \(_3\) c Recommendation, February 2014. http://www.w3.org/TR/turtle/
Berners-Lee, T.: cwm (2000–2009). http://www.w3.org/2000/10/swap/doc/cwm.html
Berners-Lee, T.: Notation 3 logic (2005). http://www.w3.org/DesignIssues/N3Logic
Berners Lee, T.: Re: Implicit quantification in n3. Public-cwm-talk (2015). http://lists.w3.org/Archives/Public/public-cwm-talk/2015JanMar/0001.html
Berners-Lee, T., Connolly, D.: Notation3 (n \(_3\)): A readable RDF syntax. w \(_3\) c Team Submission, March 2011. http://www.w3.org/TeamSubmission/n3/
Berners-Lee, T., Connolly, D., Kagal, L., Scharf, Y., Hendler, J.: nthreelogic: A logical framework for the World Wide Web. Theory and Practice of Logic Programming 8(3), 249–269 (2008)
Clocksin, W.F., Mellish, C.S.: Programming in PROLOG. Springer (1994)
Cyganiak, R., Wood, D., Lanthaler, M.: rdf 1.1: Concepts and Abstract Syntax. w \(_3\) c Recommendation, February 2014. http://www.w3.org/TR/2014/REC-rdf11-concepts-20140225/
De Roo, J.: Euler yet another proof engine, (1999–2014). http://eulersharp.sourceforge.net/
Duerst, M., Suignard, M.: Internationalized Resource Identifiers (IRIs), January 2005. http://www.ietf.org/rfc/rfc3987.txt
Hayes, P.J., Patel-Schneider, P.F.: rdf 1.1 Semantics. w \(_3\) c Recommendation, February 2014. http://www.w3.org/TR/2014/REC-rdf11-mt-20140225/
Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer-Verlag New York Inc., Secaucus (1987)
Pérez, J., Arenas, M., Gutierrez, C.: Semantics and complexity of SPARQL. ACM Trans. Database Syst. 34(3), 16:1–16:45 (2009). http://doi.acm.org/10.1145/1567274.1567278
Prud’hommeaux, E., Seaborne, A.: sparql Query Language for rdf. w \(_3\) c Recommendation, January 2008. http://www.w3.org/TR/rdf-sparql-query/
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Arndt, D., Verborgh, R., De Roo, J., Sun, H., Mannens, E., Van De Walle, R. (2015). Semantics of Notation3 Logic: A Solution for Implicit Quantification. In: Bassiliades, N., Gottlob, G., Sadri, F., Paschke, A., Roman, D. (eds) Rule Technologies: Foundations, Tools, and Applications. RuleML 2015. Lecture Notes in Computer Science(), vol 9202. Springer, Cham. https://doi.org/10.1007/978-3-319-21542-6_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-21542-6_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-21541-9
Online ISBN: 978-3-319-21542-6
eBook Packages: Computer ScienceComputer Science (R0)