AI Chat AI Image Generator AI Video Text to Speech

Inference rules for RDF(S) and OWL in N3Logic

01/11/2016

∙

by Dominik Tomaszuk, et al.

∙

∙

This paper presents inference rules for Resource Description Framework (RDF), RDF Schema (RDFS) and Web Ontology Language (OWL). Our formalization is based on Notation 3 Logic, which extended RDF by logical symbols and created Semantic Web logic for deductive RDF graph stores. We also propose OWL-P that is a lightweight formalism of OWL and supports soft inferences by omitting complex language constructs.

page 1

page 2

page 3

page 4

research

∙ 01/16/2014

Logical Foundations of RDF(S) with Datatypes

The Resource Description Framework (RDF) is a Semantic Web standard that...

0 Jos de Bruijn, et al. ∙

research

∙ 04/02/2009

Design, development and implementation of a tool for construction of declarative functional descriptions of semantic web services based on WSMO methodology

Semantic web services (SWS) are self-contained, self-describing, semanti...

0 Petar Kormushev, et al. ∙

research

∙ 08/10/2023

Notation3 as an Existential Rule Language

Notation3 Logic () is an extension of RDF that allows the user to write ...

0 Dörthe Arndt, et al. ∙

research

∙ 05/30/2023

Integrating Logic Rules with Everything Else, Seamlessly

This paper presents a language, Alda, that supports all of logic rules, ...

0 Yanhong A. Liu, et al. ∙

research

∙ 05/30/2022

Programming with rules and everything else, seamlessly

Logic rules are powerful for expressing complex reasoning and analysis p...

0 Yanhong A. Liu, et al. ∙

research

∙ 11/01/2019

SHACL Constraints with Inference Rules

The Shapes Constraint Language (SHACL) has been recently introduced as a...

0 Paolo Pareti, et al. ∙

research

∙ 01/21/2013

From 9-IM Topological Operators to Qualitative Spatial Relations using 3D Selective Nef Complexes and Logic Rules for bodies

This paper presents a method to compute automatically topological relati...

0 Helmi Ben Hmida, et al. ∙