Matches in Ruben’s data for { ?s ?p ?o }
- j.websem.2019.04.001 type Document.
- j.websem.2019.04.001 type Q386724.
- j.websem.2019.04.001 type CreativeWork.
- j.websem.2019.04.001 type Document.
- j.websem.2019.04.001 type Work.
- j.websem.2019.04.001 type Document.
- j.websem.2019.04.001 P50 me.
- j.websem.2019.04.001 P50 tom_schrijvers.
- j.websem.2019.04.001 P50 dorthe_arndt.
- j.websem.2019.04.001 P50 me.
- j.websem.2019.04.001 maker me.
- j.websem.2019.04.001 maker tom_schrijvers.
- j.websem.2019.04.001 maker dorthe_arndt.
- j.websem.2019.04.001 maker me.
- j.websem.2019.04.001 title "Implicit quantification made explicit: How to interpret blank nodes and universal variables in Notation3 Logic".
- j.websem.2019.04.001 isPartOf journal_of_web_semantics.
- j.websem.2019.04.001 name "Implicit quantification made explicit: How to interpret blank nodes and universal variables in Notation3 Logic".
- j.websem.2019.04.001 label "Implicit quantification made explicit: How to interpret blank nodes and universal variables in Notation3 Logic".
- j.websem.2019.04.001 name "Implicit quantification made explicit: How to interpret blank nodes and universal variables in Notation3 Logic".
- j.websem.2019.04.001 topic Notation_.
- j.websem.2019.04.001 topic reasoning.
- j.websem.2019.04.001 topic Research.
- j.websem.2019.04.001 topic RDF.
- j.websem.2019.04.001 subject Notation_.
- j.websem.2019.04.001 subject reasoning.
- j.websem.2019.04.001 subject Research.
- j.websem.2019.04.001 subject RDF.
- j.websem.2019.04.001 authorList b0_b2106.
- j.websem.2019.04.001 topic Notation_.
- j.websem.2019.04.001 topic reasoning.
- j.websem.2019.04.001 topic Research.
- j.websem.2019.04.001 topic RDF.
- j.websem.2019.04.001 abstract "Since the invention of Notation3 Logic, several years have passed in which the theory has been refined and applied in different reasoning engines like cwm, EYE, and FuXi. But despite these developments, a clear formal definition of Notation3’s semantics is still missing. This does not only form an obstacle for the formal investigation of that logic and its relations to other formalisms, it has also practical consequences: in many cases the interpretations of the same formula differ between reasoning engines. In this paper we tackle one of the main sources of that problem, namely the uncertainty about implicit quantification. This refers to Notation3’s ability to use bound variables for which the universal or existential quantifiers are not explicitly stated, but implicitly assumed. We provide a tool for clarification through the definition of a core logic for Notation3 that only supports explicit quantification. We specify an attribute grammar which maps Notation3 formulas to that logic according to the different interpretations and thereby define the semantics of Notation3. This grammar is then implemented and used to test the impact of the differences between interpretations on practical cases. Our dataset includes Notation3 implementations from former research projects and test cases developed for the reasoner EYE. We find that 31% of these files are understood differently by different reasoners. We further analyse these cases and categorize them in different classes of which we consider one most harmful: if a file is manually written by a user and no specific built-in predicates are used (13% of our critical files), it is unlikely that this user is aware of possible differences. We therefore argue the need to come to an agreement on implicit quantification, and discuss the different possibilities.".
- j.websem.2019.04.001 datePublished "2019".
- j.websem.2019.04.001 mainEntityOfPage arndt_jws_2019.
- j.websem.2019.04.001 sameAs j.websem.2019.04.001.
- j.websem.2019.04.001 isPrimaryTopicOf arndt_jws_2019.
- j.websem.2019.04.001 page arndt_jws_2019.
- j.websem.2019.04.001 number "58".
- j.websem.2019.04.001 number "100501".
- j.websem.2019.04.001 volume "58".
- j.websem.2019.04.001 locator "58".
- j.websem.2019.04.001 locator "100501".
- j.websem.2019.04.001 volume "58".
- j.websem.2019.04.001 position "58".
- j.websem.2019.04.001 volumeNumber "58".
- j.websem.2019.04.001 endingPage "100501".
- j.websem.2019.04.001 startingPage "100501".
- j.websem.2019.04.001 pageEnd "100501".
- j.websem.2019.04.001 pageStart "100501".
- j.websem.2019.04.001 pageEnd "100501".
- j.websem.2019.04.001 pageStart "100501".
- S1471068423000054 author me.
- S1471068423000054 author younes_zeboudj.
- S1471068423000054 author heba_aamer.
- S1471068423000054 author bas_ketsman.
- S1471068423000054 author bart_bogaerts.
- S1471068423000054 author me.
- S1471068423000054 creator me.
- S1471068423000054 creator younes_zeboudj.
- S1471068423000054 creator heba_aamer.
- S1471068423000054 creator bas_ketsman.
- S1471068423000054 creator bart_bogaerts.
- S1471068423000054 creator me.
- S1471068423000054 about query_processing.
- S1471068423000054 about trust.
- S1471068423000054 about SPARQL.
- S1471068423000054 about World_Wide_Web.
- S1471068423000054 author me.
- S1471068423000054 author younes_zeboudj.
- S1471068423000054 author heba_aamer.
- S1471068423000054 author bas_ketsman.
- S1471068423000054 author bart_bogaerts.
- S1471068423000054 author me.
- S1471068423000054 coparticipatesWith me.
- S1471068423000054 coparticipatesWith younes_zeboudj.
- S1471068423000054 coparticipatesWith heba_aamer.
- S1471068423000054 coparticipatesWith bas_ketsman.
- S1471068423000054 coparticipatesWith bart_bogaerts.
- S1471068423000054 coparticipatesWith me.
- S1471068423000054 type ScholarlyArticle.
- S1471068423000054 type Article.
- S1471068423000054 type Document.
- S1471068423000054 type Q386724.
- S1471068423000054 type CreativeWork.
- S1471068423000054 type Document.
- S1471068423000054 type Work.
- S1471068423000054 type Document.
- S1471068423000054 P50 me.
- S1471068423000054 P50 younes_zeboudj.
- S1471068423000054 P50 heba_aamer.
- S1471068423000054 P50 bas_ketsman.
- S1471068423000054 P50 bart_bogaerts.
- S1471068423000054 P50 me.
- S1471068423000054 maker me.
- S1471068423000054 maker younes_zeboudj.
- S1471068423000054 maker heba_aamer.
- S1471068423000054 maker bas_ketsman.
- S1471068423000054 maker bart_bogaerts.
- S1471068423000054 maker me.