Paper Info
Title
Semantics Of Notation3 Logic: A Solution For Implicit Quantification
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.
Year
DOI
Venue
2015
10.1007/978-3-319-21542-6_9
RULE TECHNOLOGIES: FOUNDATIONS, TOOLS, AND APPLICATIONS
Keywords
Field
DocType
Notation3, Formal semantics, Quantification, Logic, Semantic web
Argument,Programming language,Computer science,Cwm,Correctness,Semantic Web,Whole language,Universal quantification,Semantics,Database,Semantics of logic,Distributed computing
Conference
Volume
ISSN
Citations 
9202
0302-9743
1
PageRank 
References 
Authors
0.36
2
6
Name
Order
Citations
PageRank
dorthe arndt1124.65
Ruben Verborgh2630105.49
Jos De Roo310514.59
Hong Sun4102.25
Erik Mannens567199.58
Rik Van de Walle62040238.28