A Practical Implementation of Contextual Reasoning on the Semantic Web.

Dealing with context-sensitive information is a crucial aspect in the management of semantic web data. Despite the importance of this topic, there is so far no accepted consensus regarding the precise way of encoding and even more reasoning on contextual knowledge. In this paper, we introduce an approach to reason over contextual knowledge in RDF, while committing to the semantics of a contextual description logic. The lines of this paper are many folds. First, we present an extension of OWL 2 DL for contexts, that we call {OWL 2 DLC. It is a two-dimensional web ontology language with one dimension for contextualized object knowledge and one dimension for contexts. Second, we define an OWLC profile for contextual reasoning, similar to OWL 2 RL. And finally, we demonstrate that the model can be practically implemented using existing semantic web technologies, especially using SPIN rules.

[1]  John McCarthy,et al.  Generality in artificial intelligence , 1987, Resonance.

[2]  Christopher A. Welty.  Context Slices: Representing Contexts in OWL , 2010, WOP.

[3]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[4]  Olaf Hartig,et al.  Foundations of an Alternative Approach to Reification in RDF , 2014, ArXiv.

[5]  Aldo Gangemi,et al.  Understanding the Semantic Web through Descriptions and Situations , 2003, OTM.

[6]  Luciano Serafini,et al.  Distributed Description Logics: Assimilating Information from Peer Sources , 2003, J. Data Semant..

[7]  Steffen Staab,et al.  Querying for provenance, trust, uncertainty and other meta knowledge in RDF , 2009, J. Web Semant..

[8]  Richard Fikes,et al.  A Reusable Ontology for Fluents in OWL , 2006, FOIS.

[9]  Yevgeny Kazakov,et al.  RIQ and SROIQ Are Harder than SHOIQ , 2008, KR.

[10]  Pat Hayes,et al.  Formal Unifying Standards for the Representation of Spatiotemporal Knowledge a Report on Arlada Task 02ta4-sp1-rt1 "formalisms for Spatio-temporal Reasoning" Advanced Decision Architectures Alliance Contents 1. Introduction 2. Example 3. a Proposal for a Solution 4. Parameters and Temporal Sortings , .

[11]  Carsten Lutz,et al.  E-connections of abstract description systems , 2004, Artif. Intell..

[12]  Szymon Klarman,et al.  Two-Dimensional Description Logics for Context-Based Semantic Interoperability , 2011, AAAI.

[13]  Faïez Gargouri,et al.  Contextual Ontologies , 2006, ADVIS.

[14]  Gilles Falquet,et al.  Un modèle pour la représentation des connaissances temporelles dans les documents historiques , 2017, IC.

[15]  Fausto Giunchiglia,et al.  Local Models Semantics, or Contextual Reasoning = Locality + Compatibility , 1998, KR.

[16]  Gilles Falquet,et al.  A Semantic Model for Historical Manuscripts , 2018, ArXiv.

[17]  Amit P. Sheth,et al.  Don't like RDF reification?: making statements about statements using singleton property , 2014, WWW.