Semantics of Notation3 Logic: A Solution for Implicit Quantification-Reference-Cited by-同舟云学术

Semantics of Notation3 Logic: A Solution for Implicit Quantification

Published:2015 Issue: Volume: Page:127-143
ISSN:0302-9743
Container-title:Rule Technologies: Foundations, Tools, and Applications
language:
Short-container-title:

Author:

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

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-21542-6_9

Reference15 articles.

1. FuXi 1.4: A Python-based, bi-directional logical reasoning system for the semantic web. http://code.google.com/p/fuxi/

2. 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/

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

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Implicit quantification made explicit: How to interpret blank nodes and universal variables in Notation3 Logic;Journal of Web Semantics;2019-10

2. Implicit Quantification Made Explicit: How to Interpret Blank Nodes and Universal Variables in Notation3 Logic;SSRN Electronic Journal;2019

3. Using Rule-Based Reasoning for RDF Validation;Rules and Reasoning;2017

4. The pragmatic proof: Hypermedia API composition and execution;Theory and Practice of Logic Programming;2016-03-07

5. Improving OWL RL Reasoning in N3 by Using Specialized Rules;Lecture Notes in Computer Science;2016