NRL - Nepomuk Representation Language

Namespace: http://www.semanticdesktop.org/ontologies/2007/08/15/nrl#

Authors:

Michael Sintek

DFKI

Ludger van Elst

DFKI

Simon Scerri

DERI/NUIG

Siegfried Handschuh

DERI/NUIG

Maintainers:

Simon Scerri

DERI/NUIG

Contributors:

Julien Gaugaz

L3S

Max Völkel

FZI

Leo Sauermann

DFKI

Abstract

NRL was designed for knowledge representation in Nepomuk Social Semantic Desktop applications. While being built on top of the Resource Description Framework (RDF) and the associated RDF Schema (RDFS), it addresses several limitations of current Semantic Web languages, especially with respect to modularization and costumization. These questions seem to be important not only in Semantic Desktop scenarios but also on the general Semantic Web. NRL tackles these questions by including support for two main additional concepts: Named Graphs and Graph Views. Named graphs help coping with the heterogeneity of knowledge models and ontologies, esp. multiple knowledge modules with potentially different interpretations. The view concept allows for the tailoring of ontologies towards different needs in various exploiting applications. This view concept provides also the basic mechanism to impose different semantics on thesame syntactical structure.

Table of Contents

Classes Overview
Properties Overview
NRL Vocabulary Summary
Description of Classes
Description of Properties

Classes Overview

nrl:AsymmetricProperty - A marker class to identify asymmetric properties
nrl:Configuration - Represents a named graph containing configuration data
nrl:Data - An abstract class representing all named graph roles
nrl:DiscardableInstanceBase - A named graph containing instance data that can be recreated by analyzing the or...
nrl:DocumentGraph - A marker class to identify named graphs that exist within a physical document
nrl:ExternalViewSpecification - Represents an external view specification, this usually being a program which au...
nrl:FunctionalProperty - A marker class to identify functional properties
nrl:Graph - Represents a named graph
nrl:GraphMetadata - Represents a special named graph that contains metadata for another graph
nrl:GraphView - Identifies a graph which is itself a view of another named graph
nrl:InstanceBase - Represents a named graph containing instance data
nrl:InverseFunctionalProperty - A marker class to identify inverse functional properties
nrl:KnowledgeBase - Represents a named graph containing both schematic and instance data
nrl:Ontology - Represents a named graph having the role of an Ontology
nrl:ReflexiveProperty - A marker class to identify reflexive properties
nrl:RuleViewSpecification - Represents a view specification that is composed of a set of rules which generat...
nrl:Schema - Represents a named graph containing schematic data
nrl:Semantics - Represents some declarative semantics
nrl:SymmetricProperty - A marker class to identify symmetric properties
nrl:TransitiveProperty - A marker class to identify transitive properties
nrl:ViewSpecification - Represents a specification of the means to achieve a transformation of an input ...

Properties Overview

nrl:cardinality - Specifies the precise value cardinality for a specific property
nrl:coreGraphMetadataFor - Links a metadata graph to the graph for which it specifies the core graph proper...
nrl:equivalentGraph - Links two equivalent named graphs. A symmetric property
nrl:externalRealizer - Points to the location of the realizer for the external view specification
nrl:graphMetadataFor - Links a metadata graph to the graph that is being described. A unique value is c...
nrl:hasSemantics - Points to a representation of the declarative semantics for a graph role
nrl:hasSpecification - Points to the representation of the view specification required to generate the ...
nrl:imports - Models a subsumption relationship between two graphs, stating that the object gr...
nrl:inverseProperty - Links two properties and specifies their inverse behaviour
nrl:maxCardinality - Specifies a maximum value cardinality for a specific property
nrl:minCardinality - Specifies a minimum value cardinality for a specific property
nrl:realizes - Points to a representation of the declarative semantics that the view specificat...
nrl:rule - Specifies rules for a view specification that is driven by rules
nrl:ruleLanguage - Specifies the rule language for a view specification that is driven by rules
nrl:semanticsDefinedBy - Points to the human readable specifications for a representation of some declara...
nrl:subGraphOf - Specifies a containment relationship between two graphs, meaning that the subjec...
nrl:superGraphOf - Specifies a subsumption relationship between two graphs, meaning that the object...
nrl:updatable - A core graph metadata property, this defines whether a graph can be freely updat...
nrl:viewOn - Points to a graph view over the subject named graph

NRL Vocabulary Summary

Description of Classes

nrl:AsymmetricProperty

LabelAsymmetricProperty
DescriptionA marker class to identify asymmetric properties
Super-classes 
Sub-classes 
In domain of 
In range of 

nrl:Configuration

LabelConfiguration
DescriptionRepresents a named graph containing configuration data
Super-classesnrl:Graph, nrl:Data
Sub-classes 
In domain of 
In range of 

nrl:DiscardableInstanceBase

LabelDiscardableInstanceBase
DescriptionA named graph containing instance data that can be recreated by analyzing the original resources. Intended to be used by metadata extractors.
Super-classesnrl:Graph, nrl:Data, nrl:InstanceBase
Sub-classes 
In domain of 
In range of 

nrl:DocumentGraph

LabelDocumentGraph
DescriptionA marker class to identify named graphs that exist within a physical document
Super-classesnrl:Graph
Sub-classes 
In domain ofnao:serializationLanguage
In range of 

nrl:ExternalViewSpecification

LabelExternalViewSpecification
DescriptionRepresents an external view specification, this usually being a program which automatically generates the required view for an input graph
Super-classesnrl:ViewSpecification
Sub-classes 
In domain ofnrl:externalRealizer
In range of 

nrl:FunctionalProperty

LabelFunctionalProperty
DescriptionA marker class to identify functional properties
Super-classes 
Sub-classes 
In domain of 
In range of 

nrl:GraphMetadata

LabelGraphMetadata
DescriptionRepresents a special named graph that contains metadata for another graph
Super-classesnrl:Graph, nrl:Data
Sub-classes 
In domain ofnrl:graphMetadataFor, nrl:coreGraphMetadataFor
In range of 

nrl:GraphView

LabelGraphView
DescriptionIdentifies a graph which is itself a view of another named graph
Super-classesnrl:Graph
Sub-classes 
In domain ofnrl:viewOn, nrl:hasSpecification
In range of 

nrl:InstanceBase

LabelInstanceBase
DescriptionRepresents a named graph containing instance data
Super-classesnrl:Graph, nrl:Data
Sub-classespimo:PersonalInformationModel, nrl:DiscardableInstanceBase, nrl:KnowledgeBase
In domain ofnao:isDataGraphFor
In range ofnie:coreGraph

nrl:InverseFunctionalProperty

LabelInverseFunctionalProperty
DescriptionA marker class to identify inverse functional properties
Super-classes 
Sub-classes 
In domain of 
In range of 

nrl:KnowledgeBase

LabelKnowledgeBase
DescriptionRepresents a named graph containing both schematic and instance data
Super-classesnrl:Data, nrl:InstanceBase, nrl:Schema, nrl:Graph, nrl:Ontology
Sub-classespimo:PersonalInformationModel
In domain of 
In range of 

nrl:Ontology

LabelOntology
DescriptionRepresents a named graph having the role of an Ontology
Super-classesnrl:Graph, nrl:Schema, nrl:Data
Sub-classespimo:PersonalInformationModel, nrl:KnowledgeBase
In domain of 
In range of 

nrl:ReflexiveProperty

LabelReflexiveProperty
DescriptionA marker class to identify reflexive properties
Super-classes 
Sub-classes 
In domain of 
In range of 

nrl:RuleViewSpecification

LabelRuleViewSpecification
DescriptionRepresents a view specification that is composed of a set of rules which generate the required view from the input graph upon firing
Super-classesnrl:ViewSpecification
Sub-classes 
In domain ofnrl:ruleLanguage, nrl:rule
In range of 

nrl:Schema

LabelSchema
DescriptionRepresents a named graph containing schematic data
Super-classesnrl:Graph, nrl:Data
Sub-classesnrl:Ontology, pimo:PersonalInformationModel, nrl:KnowledgeBase
In domain of 
In range of 

nrl:Semantics

LabelSemantics
DescriptionRepresents some declarative semantics
Super-classes 
Sub-classes 
In domain ofnrl:semanticsDefinedBy
In range ofnrl:realizes, nrl:hasSemantics

nrl:SymmetricProperty

LabelSymmetricProperty
DescriptionA marker class to identify symmetric properties
Super-classes 
Sub-classes 
In domain of 
In range of 

nrl:TransitiveProperty

LabelTransitiveProperty
DescriptionA marker class to identify transitive properties
Super-classes 
Sub-classes 
In domain of 
In range of 

nrl:ViewSpecification

LabelViewSpecification
DescriptionRepresents a specification of the means to achieve a transformation of an input graph into the required graph view
Super-classes 
Sub-classesnrl:ExternalViewSpecification, nrl:RuleViewSpecification
In domain ofnrl:realizes
In range ofnrl:hasSpecification

Description of Properties

nrl:cardinality

Labelcardinality
DescriptionSpecifies the precise value cardinality for a specific property
Domainrdf:Property
Rangerdfs:Literal
Super-properties 
Sub-properties 

nrl:coreGraphMetadataFor

LabelcoreGraphMetadataFor
DescriptionLinks a metadata graph to the graph for which it specifies the core graph properties including the semantics and the graph namespace. A graph can have only one unique core metadata graph
Domainnrl:GraphMetadata
Rangenrl:Graph
Super-propertiesnrl:graphMetadataFor
Sub-properties 

nrl:equivalentGraph

LabelequivalentGraph
DescriptionLinks two equivalent named graphs. A symmetric property
Domainnrl:Graph
Rangenrl:Graph
Super-properties 
Sub-properties 

nrl:externalRealizer

LabelexternalRealizer
DescriptionPoints to the location of the realizer for the external view specification
Domainnrl:ExternalViewSpecification
Rangerdfs:Literal
Super-properties 
Sub-properties 

nrl:graphMetadataFor

LabelgraphMetadataFor
DescriptionLinks a metadata graph to the graph that is being described. A unique value is compulsory
Domainnrl:GraphMetadata
Rangenrl:Graph
Minimum Cardinality1
Super-properties 
Sub-propertiesnrl:coreGraphMetadataFor

nrl:hasSemantics

LabelhasSemantics
DescriptionPoints to a representation of the declarative semantics for a graph role
Domainnrl:Data
Rangenrl:Semantics
Super-properties 
Sub-properties 

nrl:hasSpecification

LabelhasSpecification
DescriptionPoints to the representation of the view specification required to generate the graph view in question
Domainnrl:GraphView
Rangenrl:ViewSpecification
Super-properties 
Sub-properties 

nrl:imports

Labelimports
DescriptionModels a subsumption relationship between two graphs, stating that the object graph is imported and included in the subject graph
Domainnrl:Data
Rangenrl:Data
Super-propertiesnrl:superGraphOf
Sub-properties 

nrl:inverseProperty

LabelinverseProperty
DescriptionLinks two properties and specifies their inverse behaviour
Domainrdf:Property
Rangerdf:Property
Super-properties 
Sub-properties 

nrl:maxCardinality

LabelmaxCardinality
DescriptionSpecifies a maximum value cardinality for a specific property
Domainrdf:Property
Rangerdfs:Literal
Super-properties 
Sub-properties 

nrl:minCardinality

LabelminCardinality
DescriptionSpecifies a minimum value cardinality for a specific property
Domainrdf:Property
Rangerdfs:Literal
Super-properties 
Sub-properties 

nrl:realizes

Labelrealizes
DescriptionPoints to a representation of the declarative semantics that the view specification realizes
Domainnrl:ViewSpecification
Rangenrl:Semantics
Super-properties 
Sub-properties 

nrl:rule

Labelrule
DescriptionSpecifies rules for a view specification that is driven by rules
Domainnrl:RuleViewSpecification
Rangerdfs:Literal
Super-properties 
Sub-properties 

nrl:ruleLanguage

LabelruleLanguage
DescriptionSpecifies the rule language for a view specification that is driven by rules
Domainnrl:RuleViewSpecification
Rangerdfs:Literal
Super-properties 
Sub-properties 

nrl:semanticsDefinedBy

LabelsemanticsDefinedBy
DescriptionPoints to the human readable specifications for a representation of some declarative semantics
Domainnrl:Semantics
Rangerdfs:Resource
Super-properties 
Sub-properties 

nrl:subGraphOf

LabelsubGraphOf
DescriptionSpecifies a containment relationship between two graphs, meaning that the subject graph is included in the object graph
Domainnrl:Graph
Rangenrl:Graph
Super-properties 
Sub-properties 

nrl:superGraphOf

LabelsuperGraphOf
DescriptionSpecifies a subsumption relationship between two graphs, meaning that the object graph is included in the subject graph
Domainnrl:Graph
Rangenrl:Graph
Super-properties 
Sub-propertiesnrl:imports

nrl:updatable

Labelupdatable
DescriptionA core graph metadata property, this defines whether a graph can be freely updated '1' or otherwise '0'
Domainnrl:Graph
Rangexsd:boolean
Maximum Cardinality1
Super-properties 
Sub-properties 

nrl:viewOn

LabelviewOn
DescriptionPoints to a graph view over the subject named graph
Domainnrl:GraphView
Rangenrl:Graph
Super-properties 
Sub-properties