N3Logic
N3Logic: A logical framework for the world wide web The Semantic Web drives toward the use of the Web for interacting with logically interconnected data. Through knowledge models such as Resource Description Framework (RDF), the Semantic Web provides a unifying representation of richly structured data. Adding logic to the Web implies the use of rules to make inferences, choose courses of action, and answer questions. This logic must be powerful enough to describe complex properties of objects but not so powerful that agents can be tricked by being asked to consider a paradox. The Web has several characteristics that can lead to problems when existing logics are used, in particular, the inconsistencies that inevitably arise due to the openness of the Web, where anyone can assert anything. N3Logic is a logic that allows rules to be expressed in a Web environment. It extends RDF with syntax for nested graphs and quantified variables and with predicates for implication and accessing resources on the Web, and functions including cryptographic, string, math. The main goal of N3Logic is to be a minimal extension to the RDF data model such that the same language can be used for logic and data. In this paper, we describe N3Logic and illustrate through examples why it is an appropriate logic for the Web
Keywords for this software
References in zbMATH (referenced in 9 articles , 1 standard article )
Showing results 1 to 9 of 9.
Sorted by year (- Verborgh, Ruben; Arndt, Dörthe; Van Hoecke, Sofie; De Roo, Jos; Mels, Giovanni; Steiner, Thomas; Gabarro, Joaquim: The pragmatic proof: hypermedia API composition and execution (2017)
- Analyti, Anastasia; Viegas Damásio, Carlos; Antoniou, Grigoris: Extended RDF: computability and complexity issues (2015)
- Analyti, Anastasia; Antoniou, Grigoris; Damásio, Carlos Viegas; Pachoulakis, Ioannis: A framework for modular ERDF ontologies (2013)
- Hendler, Jim; Berners-Lee, Tim: From the semantic web to social machines: a research challenge for AI on the world wide web (2010) ioport
- Carminati, Barbara; Ferrari, Elena; Perego, Andrea: Combining social networks and semantic web technologies for personalizing web access (2009)
- Geldart, Joe; Song, William: Category-based equational reasoning: an approach to ontology integration (2009)
- Analyti, A.; Antoniou, G.; Damasio, C. V.; Wagner, G.: Extended RDF as a semantic foundation of rule markup languages (2008)
- Berners-Lee, Tim; Connolly, Dan; Kagal, Lalana; Scharf, Yosi; Hendler, Jim: N3Logic: A logical framework for the world wide web (2008)
- Berners-Lee, Tim; Connolly, Dan; Kagal, Lalana; Scharf, Yosi; Hendler, Jim: N3logic: A logical framework for the world wide web (2007) ioport