This paper addresses the ambiguity surrounding graph terms within Notation3 Logic, an extension of RDF that allows for rules and statements about graphs. The authors propose a formal definition for the semantics of graph terms, which were previously only informally specified. They introduce an abstract syntax and a two-step semantic definition, covering basic entailment for RDF triples including graph terms, and then extending this to N3-entailment for special predicates. This work is presented as a crucial step towards the full standardization of Notation3 Logic. AI
RANK_REASON The item is a research paper detailing formal semantics for a logic extension. [lever_c_demoted from research: ic=1 ai=0.1]
Read on Hugging Face Daily Papers →
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →