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
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 ... |
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 |
Label | AsymmetricProperty |
Description | A marker class to identify asymmetric properties |
Super-classes | |
Sub-classes | |
In domain of | |
In range of |
Label | Data |
Description | An abstract class representing all named graph roles |
Super-classes | nrl:Graph |
Sub-classes | nrl:GraphMetadata, nrl:DiscardableInstanceBase, nrl:Ontology, nrl:Schema, nrl:InstanceBase, pimo:PersonalInformationModel, nrl:Configuration, nrl:KnowledgeBase |
In domain of | nao:status, nrl:imports, nrl:hasSemantics, nao:hasDefaultNamespace, nao:version, nao:engineeringTool, nao:hasDefaultNamespaceAbbreviation |
In range of | nrl:imports |
Label | DiscardableInstanceBase |
Description | A named graph containing instance data that can be recreated by analyzing the original resources. Intended to be used by metadata extractors. |
Super-classes | nrl:Graph, nrl:Data, nrl:InstanceBase |
Sub-classes | |
In domain of | |
In range of |
Label | DocumentGraph |
Description | A marker class to identify named graphs that exist within a physical document |
Super-classes | nrl:Graph |
Sub-classes | |
In domain of | nao:serializationLanguage |
In range of |
Label | ExternalViewSpecification |
Description | Represents an external view specification, this usually being a program which automatically generates the required view for an input graph |
Super-classes | nrl:ViewSpecification |
Sub-classes | |
In domain of | nrl:externalRealizer |
In range of |
Label | FunctionalProperty |
Description | A marker class to identify functional properties |
Super-classes | |
Sub-classes | |
In domain of | |
In range of |
Label | Graph |
Description | Represents a named graph |
Super-classes | |
Sub-classes | nrl:Data, nrl:KnowledgeBase, nrl:GraphMetadata, nrl:DocumentGraph, nrl:Ontology, nrl:GraphView, nrl:Schema, nrl:DiscardableInstanceBase, pimo:PersonalInformationModel, nrl:Configuration, nrl:InstanceBase |
In domain of | nrl:equivalentGraph, nrl:updatable, nrl:subGraphOf, nrl:superGraphOf |
In range of | nrl:graphMetadataFor, nrl:subGraphOf, nrl:equivalentGraph, nrl:coreGraphMetadataFor, nrl:superGraphOf, nrl:viewOn |
Label | GraphMetadata |
Description | Represents a special named graph that contains metadata for another graph |
Super-classes | nrl:Graph, nrl:Data |
Sub-classes | |
In domain of | nrl:graphMetadataFor, nrl:coreGraphMetadataFor |
In range of |
Label | GraphView |
Description | Identifies a graph which is itself a view of another named graph |
Super-classes | nrl:Graph |
Sub-classes | |
In domain of | nrl:viewOn, nrl:hasSpecification |
In range of |
Label | InstanceBase |
Description | Represents a named graph containing instance data |
Super-classes | nrl:Graph, nrl:Data |
Sub-classes | pimo:PersonalInformationModel, nrl:DiscardableInstanceBase, nrl:KnowledgeBase |
In domain of | nao:isDataGraphFor |
In range of | nie:coreGraph |
Label | InverseFunctionalProperty |
Description | A marker class to identify inverse functional properties |
Super-classes | |
Sub-classes | |
In domain of | |
In range of |
Label | KnowledgeBase |
Description | Represents a named graph containing both schematic and instance data |
Super-classes | nrl:Data, nrl:InstanceBase, nrl:Schema, nrl:Graph, nrl:Ontology |
Sub-classes | pimo:PersonalInformationModel |
In domain of | |
In range of |
Label | Ontology |
Description | Represents a named graph having the role of an Ontology |
Super-classes | nrl:Graph, nrl:Schema, nrl:Data |
Sub-classes | pimo:PersonalInformationModel, nrl:KnowledgeBase |
In domain of | |
In range of |
Label | ReflexiveProperty |
Description | A marker class to identify reflexive properties |
Super-classes | |
Sub-classes | |
In domain of | |
In range of |
Label | RuleViewSpecification |
Description | Represents a view specification that is composed of a set of rules which generate the required view from the input graph upon firing |
Super-classes | nrl:ViewSpecification |
Sub-classes | |
In domain of | nrl:ruleLanguage, nrl:rule |
In range of |
Label | Schema |
Description | Represents a named graph containing schematic data |
Super-classes | nrl:Graph, nrl:Data |
Sub-classes | nrl:Ontology, pimo:PersonalInformationModel, nrl:KnowledgeBase |
In domain of | |
In range of |
Label | Semantics |
Description | Represents some declarative semantics |
Super-classes | |
Sub-classes | |
In domain of | nrl:semanticsDefinedBy |
In range of | nrl:realizes, nrl:hasSemantics |
Label | SymmetricProperty |
Description | A marker class to identify symmetric properties |
Super-classes | |
Sub-classes | |
In domain of | |
In range of |
Label | TransitiveProperty |
Description | A marker class to identify transitive properties |
Super-classes | |
Sub-classes | |
In domain of | |
In range of |
Label | ViewSpecification |
Description | Represents a specification of the means to achieve a transformation of an input graph into the required graph view |
Super-classes | |
Sub-classes | nrl:ExternalViewSpecification, nrl:RuleViewSpecification |
In domain of | nrl:realizes |
In range of | nrl:hasSpecification |
Label | cardinality |
Description | Specifies the precise value cardinality for a specific property |
Domain | rdf:Property |
Range | rdfs:Literal |
Super-properties | |
Sub-properties |
Label | coreGraphMetadataFor |
Description | Links 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 |
Domain | nrl:GraphMetadata |
Range | nrl:Graph |
Super-properties | nrl:graphMetadataFor |
Sub-properties |
Label | externalRealizer |
Description | Points to the location of the realizer for the external view specification |
Domain | nrl:ExternalViewSpecification |
Range | rdfs:Literal |
Super-properties | |
Sub-properties |
Label | graphMetadataFor |
Description | Links a metadata graph to the graph that is being described. A unique value is compulsory |
Domain | nrl:GraphMetadata |
Range | nrl:Graph |
Minimum Cardinality | 1 |
Super-properties | |
Sub-properties | nrl:coreGraphMetadataFor |
Label | hasSemantics |
Description | Points to a representation of the declarative semantics for a graph role |
Domain | nrl:Data |
Range | nrl:Semantics |
Super-properties | |
Sub-properties |
Label | hasSpecification |
Description | Points to the representation of the view specification required to generate the graph view in question |
Domain | nrl:GraphView |
Range | nrl:ViewSpecification |
Super-properties | |
Sub-properties |
Label | imports |
Description | Models a subsumption relationship between two graphs, stating that the object graph is imported and included in the subject graph |
Domain | nrl:Data |
Range | nrl:Data |
Super-properties | nrl:superGraphOf |
Sub-properties |
Label | inverseProperty |
Description | Links two properties and specifies their inverse behaviour |
Domain | rdf:Property |
Range | rdf:Property |
Super-properties | |
Sub-properties |
Label | maxCardinality |
Description | Specifies a maximum value cardinality for a specific property |
Domain | rdf:Property |
Range | rdfs:Literal |
Super-properties | |
Sub-properties |
Label | minCardinality |
Description | Specifies a minimum value cardinality for a specific property |
Domain | rdf:Property |
Range | rdfs:Literal |
Super-properties | |
Sub-properties |
Label | realizes |
Description | Points to a representation of the declarative semantics that the view specification realizes |
Domain | nrl:ViewSpecification |
Range | nrl:Semantics |
Super-properties | |
Sub-properties |
Label | rule |
Description | Specifies rules for a view specification that is driven by rules |
Domain | nrl:RuleViewSpecification |
Range | rdfs:Literal |
Super-properties | |
Sub-properties |
Label | ruleLanguage |
Description | Specifies the rule language for a view specification that is driven by rules |
Domain | nrl:RuleViewSpecification |
Range | rdfs:Literal |
Super-properties | |
Sub-properties |
Label | semanticsDefinedBy |
Description | Points to the human readable specifications for a representation of some declarative semantics |
Domain | nrl:Semantics |
Range | rdfs:Resource |
Super-properties | |
Sub-properties |
Label | superGraphOf |
Description | Specifies a subsumption relationship between two graphs, meaning that the object graph is included in the subject graph |
Domain | nrl:Graph |
Range | nrl:Graph |
Super-properties | |
Sub-properties | nrl:imports |
Label | updatable |
Description | A core graph metadata property, this defines whether a graph can be freely updated '1' or otherwise '0' |
Domain | nrl:Graph |
Range | xsd:boolean |
Maximum Cardinality | 1 |
Super-properties | |
Sub-properties |
Label | viewOn |
Description | Points to a graph view over the subject named graph |
Domain | nrl:GraphView |
Range | nrl:Graph |
Super-properties | |
Sub-properties |