Semantics of notation3 logic: A solution for implicit quantification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 9202, Issue , 2015, Pages 127-143

  Arndt, Dörthe ^a   Verborgh, Ruben ^a   De Roo, Jos ^b   Sun, Hong ^b   Mannens, Erik ^a   Van De Walle, Rik ^a  

^a GHENT UNIVERSITY   (Belgium)

^b Agfa HealthCare   (Belgium)

Author keywords

Formal semantics; Logic; Notation3; Quantification; Semantic web

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; ENGINES; FORMAL METHODS; SEMANTICS;

BASIC CONCEPTS; FORMAL SEMANTICS; LOGIC; MODEL-THEORETIC; NOTATION3; QUANTIFICATION; REASONING ENGINE; STILL MISSING;

SEMANTIC WEB;

EID: 84951061512     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-21542-6_9     Document Type: Conference Paper

References (15)

1. FuXi 1. 4: A Python-based, bi-directional logical reasoning system for the semantic web. http://code. google. com/p/fuxi/
2. 3c Recommendation, February 2014. http://www. w3. org/TR/turtle/
3. Berners-Lee, T.: cwm (2000-2009). http://www. w3. org/2000/10/swap/doc/cwm. html
4. Berners-Lee, T.: Notation 3 logic (2005). http://www. w3. org/DesignIssues/N3Logic
5. Berners Lee, T.: Re: Implicit quantification in n3. Public-cwm-talk (2015). http://lists. w3. org/Archives/Public/public-cwm-talk/2015JanMar/0001. html
6. 3c Team Submission, March 2011. http://www. w3. org/TeamSubmission/n3/
7. 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)
8. Clocksin, W. F., Mellish, C. S.: Programming in PROLOG. Springer (1994)
9. 3c Recommendation, February 2014. http://www. w3. org/TR/2014/REC-rdf11-concepts-20140225/
10. De Roo, J.: Euler yet another proof engine, (1999-2014). http://eulersharp. sourceforge. net/
11. Duerst, M., Suignard, M.: Internationalized Resource Identifiers (IRIs), January 2005. http://www. ietf. org/rfc/rfc3987. txt
12. 3c Recommendation, February 2014. http://www. w3. org/TR/2014/REC-rdf11-mt-20140225/
13. Lloyd, J. W.: Foundations of Logic Programming, 2nd edn. Springer-Verlag New York Inc., Secaucus (1987)
14. 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
15. 3c Recommendation, January 2008. http://www. w3. org/TR/rdf-sparql-query/