Fact-checked by Grok 2 weeks ago

RDF Schema

RDF Schema (RDFS) is a (W3C) recommendation that extends the (RDF) by providing a standardized for describing classes, properties, and relationships among RDF resources, enabling the construction of lightweight ontologies within the framework. Developed as a semantic extension of RDF, RDFS introduces namespaces such as rdfs: and builds upon RDF's foundational concepts, syntaxes (like and ), and semantics to support . It defines key classes, including rdfs:Resource (encompassing all RDF entities), rdfs:Class (the class of all classes), and rdfs:Literal (for value representations), which allow resources to be categorized and related hierarchically. Essential properties include rdfs:domain (specifying the classes from which a property's subjects must be instances), rdfs:range (defining the classes of a property's objects), and rdfs:subClassOf (for establishing subclass relationships), providing mechanisms to constrain and enrich RDF vocabularies without the full expressiveness of more advanced ontology languages like . The specification, first recommended in 2004 as part of RDF 1.0 and revised in subsequent versions, has RDF Schema 1.1 as the current W3C Recommendation (2014) and RDF 1.2 Schema as a Working Draft published in 2025, incorporating updates such as new terms like rdf:dirLangString for language-tagged strings, rdf:JSON for JSON values, rdfs:Proposition for statement representations, and rdf:reifies for reification enhancements. These additions align RDFS with evolving RDF capabilities, including support for and structured , while maintaining its role as a foundational layer for knowledge representation on the . RDFS is expressed entirely in RDF itself, ensuring compatibility and extensibility for applications in , , and knowledge graphs.

Overview

Definition and Purpose

RDF Schema (RDFS) is an extensible RDF vocabulary for specifying classes, properties, and their relationships, enabling the definition of constraints and richer descriptions for RDF resources. It builds upon the Resource Description Framework (RDF), the foundational data model for representing information on the Semantic Web. The primary purposes of RDFS are to provide a framework for ontology-like definitions that add semantic structure to RDF data, to support inference mechanisms over RDF graphs for deriving implicit knowledge, and to promote interoperability across Semantic Web applications by standardizing resource descriptions. Key benefits of RDFS include its support for subclassing hierarchies, domain and range restrictions on properties, and basic typing of resources, all while avoiding the greater expressiveness and complexity of full found in more advanced languages like . RDFS is formally defined in W3C recommendations, with the current version 1.1—published on February 25, 2014—serving as the standard and providing refined semantics along with extended datatype support.

Historical Development and Standards

RDF Schema originated in 1999 as an extension to the (RDF), developed under the W3C Metadata Activity to address the need for schema languages that could define vocabularies and constraints within XML-based and RDF ecosystems for interoperability. The initial specification, edited by Dan Brickley and R.V. Guha, was published as a W3C Proposed Recommendation on March 3, 1999, building directly on the RDF Model and Syntax Recommendation from February 22, 1999, to enable machine-understandable descriptions of resources, such as those used in applications like resource discovery and the (P3P). This early work was led by the , established in 1997, which aimed to provide a lightweight vocabulary for describing RDF properties and classes in a environment. The specification evolved into RDF Schema 1.0, reaching Candidate Recommendation status on March 27, 2000, with a primary focus on defining core mechanisms for classes (e.g., rdfs:Class and ) and (e.g., rdfs:subClassOf, rdfs:, and rdfs:) to support reuse and in RDF data models. Further refinements by the W3C RDF culminated in its formal adoption as a W3C Recommendation on February 10, 2004, as part of the RDF 1.0 suite, solidifying its role in providing basic type systems and constraints for RDF metadata without altering the underlying RDF syntax. RDF Schema 1.1, published as a W3C Recommendation on February 25, 2014, refined datatype support with additions like rdf:langString and rdf:HTML, clarified entailment rules for literals including rdf:XMLLiteral, and enhanced compatibility with modern tools. These updates, overseen by the RDF Working Group with editorial contributions from Guus Schreiber, aligned RDFS more closely with RDF 1.1 and addressed longstanding ambiguities in datatype handling and semantic extensions. Following the Recommendation, RDF Schema has seen minor errata and, in the RDF 1.2 draft (Working Draft, October 3, 2025), extensions including new terms like rdf:dirLangString for directional language-tagged strings, for JSON values, rdfs:Proposition for reified statements, and rdf:reifies for enhancements to support evolving RDF features, while maintaining core semantics. As part of the W3C standards track, RDFS occupies a foundational layer above core RDF for vocabulary definition but below for advanced ontological expressivity, ensuring modular in Web-scale data exchange.

Core Terminology

Classes and Class Hierarchy

In RDF Schema (RDFS), provide a mechanism for defining types of within the RDF , enabling the organization of knowledge through and . The central is rdfs:Class, which represents the set of all that can be used to classify RDF ; notably, rdfs:Class itself is an instance of rdfs:Class, allowing for self-referential typing. Every RDF is implicitly an instance of rdfs:Resource, the root that serves as the superclass of all other , encompassing all entities describable in RDF. Class membership is formally established using the rdf:type property, where a such as (x, rdf:type, C) indicates that x belongs to the extension (or set of instances) of C; the domain of rdf:type is rdfs:Resource, and its range is rdfs:Class. The in RDFS is constructed through the rdfs:subClassOf property, which defines subclass relationships between and supports transitive . If A is declared a subclass of B via (A, rdfs:subClassOf, B), then all instances of A are also instances of B, allowing properties and constraints defined for B to apply to A's instances. This relationship is transitive, meaning chains of subclass declarations propagate upward through the , and RDFS supports by permitting a class to have multiple superclasses via separate rdfs:subClassOf . However, RDFS does not enforce constraints, disjointness between , or other advanced taxonomic features found in more expressive ontologies. RDFS includes several built-in classes that exemplify the hierarchy, particularly for modeling collections. The rdfs:Container class acts as a superclass for container types, providing a foundational structure for grouping . Specific subclasses include rdf:Bag, which represents unordered collections where order of members does not matter; rdf:Seq, for ordered sequences where member position is significant; and rdf:Alt, denoting alternatives among mutually exclusive options. These container classes inherit from rdfs:Container and ultimately from rdfs:Resource, illustrating practical use of the subclass mechanism to extend the core vocabulary without altering the underlying RDF model.

Properties and Domains/Ranges

In RDF Schema (RDFS), properties are defined as resources that belong to the class rdf:Property, which itself is a subclass of rdfs:Resource, allowing properties to be declared using the rdf:type predicate to indicate their membership in this class. This enables properties to represent binary relations between resources in an RDF graph, facilitating the description of structured data beyond simple triples. The rdfs:domain property constrains the subjects of a given P by specifying one or more es of which those subjects must be instances; for example, declaring ex:author rdfs:[domain](/page/Domain) ex:Document implies that any resource serving as the subject of ex:author is inferred to be an instance of ex:Document. Similarly, the rdfs:range property restricts the objects of P to instances of specified es, such as ex:author rdfs:range ex:[Person](/page/Person), which infers that objects of ex:author are instances of ex:[Person](/page/Person). These declarations support : if a S P O exists and P has a domain or range C, then S rdf:type C or O rdf:type C is entailed, respectively. Properties can have multiple domains or ranges, in which case subjects or objects must be instances of all listed es, promoting intersection-based constraints. RDFS restrictions are monotonic, meaning that adding further domain or range declarations to a property does not invalidate existing inferences but may strengthen them by introducing additional entailments. The rdfs:subPropertyOf further refines by establishing a : if P1 rdfs:subPropertyOf P2, then any using P1 entails a corresponding using P2, and this is transitive, allowing for of domains and ranges across subproperties. Support for datatypes in ranges was introduced in RDF Schema 1.0, where classes from (e.g., xsd:string or xsd:integer) can be used to constrain literal values; thus, ex:age rdfs:range xsd:integer ensures that objects of ex:age are integer literals, enabling validation of data types alongside class-based restrictions. This integration bridges RDF's resource-oriented model with typed literals, enhancing in semantic applications.

Built-in RDFS Vocabulary

The RDF Schema (RDFS) specification defines a core set of built-in classes and properties within its namespace, http://www.w3.org/2000/01/rdf-schema# (prefixed as rdfs:), which serve as the foundational vocabulary for describing RDF resources, classes, properties, and their relationships. These predefined terms enable the extension of RDF's basic data model by providing mechanisms for hierarchy, constraints, and annotations, all while remaining instances of RDF itself. All RDFS terms are RDF resources, allowing the vocabulary to be self-descriptive; for example, rdfs:Class is declared as an instance of rdfs:Class using the RDF triple rdfs:Class rdf:type rdfs:Class.

Key Classes

The RDFS vocabulary includes several fundamental classes that form the basis for schema definitions:
  • rdfs:[Resource](/page/Resource): The root class of everything describable by RDF, serving as the superclass of all other classes; every RDF resource is implicitly an instance of rdfs:[Resource](/page/Resource).
  • rdfs:[Class](/page/Class): The class of all classes in RDF, used to declare types and hierarchies; it is itself a subclass of rdfs:[Resource](/page/Resource) and an instance of rdfs:[Class](/page/Class).
  • rdfs:Literal: The class encompassing all literal values, such as strings or numbers, which are leaf nodes in RDF graphs with no further outgoing properties; it is a subclass of rdfs:[Resource](/page/Resource).
  • rdfs:[Container](/page/Container): A superclass for collections of resources that represent unordered or ordered sets; its subclasses include:
    • rdf:Bag (from the RDF namespace): An unordered container where member order does not matter.
    • rdf:Seq (from the RDF namespace): An ordered container where the sequence of members is significant.
    • rdf:[Alt](/page/Alt) (from the RDF namespace): A container representing alternatives, where exactly one member is typically selected.
  • rdfs:Datatype: The class of all datatypes, which are used to constrain literal values; it is both a subclass and an instance of rdfs:Class. It supports integration with datatypes (e.g., xsd:string, xsd:integer) and RDF-specific datatypes (e.g., rdf:langString, rdf:[HTML](/page/HTML) from RDF 1.1; rdf:dirLangString, rdf:[JSON](/page/JSON) from RDF 1.2), by allowing them as instances of rdfs:Datatype, thereby enabling typed literals in RDF. Each instance of rdfs:Datatype is a subclass of rdfs:Literal.
  • rdfs:Proposition (RDF 1.2): A class for representing RDF statements (triples) as resources, facilitating and statement-level annotations.

Key Properties

RDFS also provides a set of predefined properties for establishing relationships, constraints, and metadata:
  • rdfs:subClassOf: Relates a subclass to its superclass, enabling class hierarchies; its domain and range are both rdfs:Class.
  • rdfs:subPropertyOf: Relates a subproperty to its superproperty, supporting property hierarchies; its domain and range are both rdf:Property.
  • rdfs:domain: Specifies the class of subjects to which a property applies; its domain is rdf:Property and range is rdfs:Class.
  • rdfs:range: Specifies the class of objects to which a property's values belong; its domain is rdf:Property and range is rdfs:Class.
  • rdfs:label: Provides a human-readable name or label for a resource; its domain is rdfs:Resource and range is rdfs:Literal.
  • rdfs:comment: Supplies a human-readable description or annotation for a resource; its domain is rdfs:Resource and range is rdfs:Literal.
  • rdfs:seeAlso: Indicates a resource providing additional information about the subject; its domain and range are both rdfs:Resource.
  • rdfs:isDefinedBy: Points to the resource that defines the subject, acting as a subproperty of rdfs:seeAlso; its domain and range are both rdfs:Resource.
  • rdfs:member: A superproperty of the membership properties for containers (e.g., rdf:_1, rdf:_2), relating a container to its members; its domain and range are both rdfs:Resource.
  • rdf:reifies (RDF 1.2): Relates a resource to the RDF statement (proposition) that it reifies; its domain and range are rdfs:Resource and rdfs:Proposition, respectively, enhancing reification capabilities.
These classes and properties collectively form a lightweight ontology that can be extended for domain-specific schemas, with rdfs:Datatype playing a crucial role in bridging RDFS to more precise value constraints from XML Schema.

Semantics and Inference

RDFS Entailment Rules

RDF Schema (RDFS) entailment provides a formal mechanism for inferring additional triples from an RDF graph based on the RDFS vocabulary, enabling semantic reasoning in a monotonic manner. This entailment regime extends RDF entailment by incorporating rules that handle class hierarchies, property domains and ranges, and typing constraints, allowing systems to derive implicit knowledge from explicit statements. RDFS can be understood as a decidable fragment of description logics, specifically corresponding to the description logic ALC with qualified number restrictions in its extended form, which ensures tractable inference for ontology-based applications. In RDFS semantics, entailment is defined model-theoretically: an RDF G RDFS-entails another H (denoted G \models_{RDFS} H) if every RDFS that satisfies G also satisfies H. This definition aligns with simple entailment for RDF but extends it to account for RDFS-specific constructs like rdfs:subClassOf and rdfs:[domain](/page/Domain). The semantics is fully characterized by a set of 14 monotonic rules, known as the RDFS rules (rdfs1 through rdfs14), which generate the smallest containing all logically implied by the original under RDFS entailment. These rules are operational approximations of the , allowing forward-chaining engines to compute entailments efficiently without full . RDF 1.2 introduces rdfs14 to support typing of propositions derived from triple terms. The core RDFS entailment rules address key aspects of the vocabulary:
  • Subclass and Typing Rules: These handle inheritance in class hierarchies. For instance, rule rdfs9 infers instance membership in a superclass: if xxx rdfs:subClassOf yyy and zzz rdf:type xxx, then zzz rdf:type yyy. Reflexivity (rdfs10: a class is a subclass of itself) and transitivity (rdfs11: chaining subClassOf relations) ensure hierarchical closure. Additionally, rdfs8 states that every class is a subclass of rdfs:Resource.
  • Domain and Range Rules: Rule rdfs2 infers subject typing from property domains: if aaa rdfs:domain xxx and yyy aaa zzz, then yyy rdf:type xxx. Symmetrically, rdfs3 infers object typing from ranges: if aaa rdfs:range xxx and yyy aaa zzz, then zzz rdf:type xxx.
  • Property Rules: Similar to classes, properties support subproperty relations with reflexivity (rdfs6), transitivity (rdfs5), and substitution (rdfs7: if aaa rdfs:subPropertyOf bbb and xxx aaa yyy, then xxx bbb yyy).
  • Resource and Datatype Rules: Rule rdfs4 ensures all subjects and objects are instances of rdfs:[Resource](/page/Resource). For datatypes, rdfs1 declares datatype as instances of rdfs:Datatype, and rdfs13 infers they are subclasses of rdfs:Literal. Container-related rules (rdfs12) treat membership properties as subproperties of rdfs:member. The new rule rdfs14 types proposition terms from triple terms as instances of rdfs:[Proposition](/page/Proposition).
The complete set of 14 RDFS entailment rules is presented below for reference:
RulePremisesConclusionPurpose
rdfs1aaa in D (set of supported datatypes)aaa rdf:type rdfs:DatatypeDatatype typing
rdfs2aaa rdfs:domain xxx, yyy aaa zzzyyy rdf:type xxxDomain inference
rdfs3aaa rdfs:range xxx, yyy aaa zzzzzz rdf:type xxxRange inference
rdfs4xxx appears in any triplexxx rdf:type rdfs:ResourceTerm as resource
rdfs5xxx rdfs:subPropertyOf yyy, yyy rdfs:subPropertyOf zzzxxx rdfs:subPropertyOf zzzSubproperty transitivity
rdfs6xxx rdf:type rdf:Propertyxxx rdfs:subPropertyOf xxxSubproperty reflexivity
rdfs7aaa rdfs:subPropertyOf bbb, xxx aaa yyyxxx bbb yyyProperty inheritance
rdfs8xxx rdf:type rdfs:Classxxx rdfs:subClassOf rdfs:ResourceClass as resource subclass
rdfs9xxx rdfs:subClassOf yyy, zzz rdf:type xxxzzz rdf:type yyySubclass instance inheritance
rdfs10xxx rdf:type rdfs:Classxxx rdfs:subClassOf xxxSubclass reflexivity
rdfs11xxx rdfs:subClassOf yyy, yyy rdfs:subClassOf zzzxxx rdfs:subClassOf zzzSubclass transitivity
rdfs12xxx rdf:type rdfs:ContainerMembershipPropertyxxx rdfs:subPropertyOf rdfs:memberContainer membership
rdfs13xxx rdf:type rdfs:Datatypexxx rdfs:subClassOf rdfs:LiteralDatatype as literal subclass
rdfs14Graph contains a triple term << (aaa bbb ccc) >><< (aaa bbb ccc) >> rdf:type rdfs:PropositionProposition typing for triple terms
Applying these rules iteratively produces the RDFS closure of a , which includes all entailed and serves as the basis for further reasoning in systems supporting RDFS entailment, such as query evaluation under entailment regimes. This closure is finite and computable, preserving the decidability of RDFS inference.

Interpretations and Closure

In the model-theoretic semantics of RDF Schema (RDFS), an I is a structure that assigns meanings to RDF terms in a way that extends the semantics of RDF itself. Specifically, an RDFS I recognizes a including the RDFS terms and satisfies a set of datatype D, with I mapping resources to a non-empty set IR (the domain), literals to values via IL, and to binary relations via IEXT. For a (s, p, o) to hold in I, the condition (I(s), I(p), I(o)) \in IEXT(I(p)) must be satisfied, where IEXT denotes the extension of . Additionally, RDFS introduces the class domain IC = IEXT(I(\mathtt{rdfs:Class})) as a of IR, and the domain IP = IEXT(I(\mathtt{rdf:Property})) as a of IC, ensuring that are themselves classes. RDF 1.2 extends this to support triple terms, which denote propositions interpreted in IR and typed via rdfs:Proposition. Key mappings in RDFS interpretations enforce structural constraints on the vocabulary. The term \mathtt{rdfs:Class} is interpreted such that I(\mathtt{rdfs:Class}) \in [IC](/page/IC), with its extension comprising all classes in the . The \mathtt{rdfs:subClassOf} relation is reflexive and transitive over IC, meaning that if (x, y) \in IEXT(I(\mathtt{rdfs:subClassOf})), then ICEXT(x) \subseteq ICEXT(y), where ICEXT maps classes to their extensions (sets of instances in IR). For \mathtt{rdfs:domain} and \mathtt{rdfs:range}, if (x, y) \in IEXT(I(\mathtt{rdfs:domain})) and (u, v) \in IEXT(x), then u \in ICEXT(y); a symmetric condition applies to , constraining the domains and ranges of properties in IP. These mappings enable hierarchical and constraint-based reasoning beyond plain RDF. RDFS closure is computed using fixed-point semantics, where entailment rules are applied iteratively to an until no new can be derived, yielding the RDFS closure (or deductive closure) of the . This process ensures completeness for RDFS entailment, as the fixed point coincides with the set of all entailed . For ground RDF graphs (without blank nodes), RDFS entailment is decidable and can be computed in time, making it efficient for practical systems. The RDF 1.2 semantics fully align with RDF 1.2, superseding earlier versions by treating literals as denoting themselves under simple entailment and providing D-interpretations for datatypes. Literals map via lexical-to-value functions, with mandatory support for rdf:langString, rdf:dirLangString, and xsd:string; however, semantics for user-defined datatypes are partial and incomplete unless fully specified, limiting entailment guarantees for custom types. In contrast to RDF semantics, which provide only basic for without vocabulary constraints, RDFS semantics impose additional conditions on the of its built-in terms (e.g., IP \subseteq IC), enabling richer entailments such as subsumption and domain-range that are not possible in plain RDF.

Applications

Defining Custom Vocabularies

RDF Schema enables the creation of custom vocabularies by allowing users to define their own and , extending the basic RDF to describe domain-specific structures. The process begins with declaring a as an instance of rdfs:Class, which groups resources that share common characteristics, and using rdf:type to identify instances of that . Hierarchies are established through rdfs:subClassOf, a transitive that indicates one is a of another, ensuring that instances of a subclass are also instances of its superclasses. are defined as instances of rdf:Property and constrained using rdfs:domain to specify the expected of subjects and rdfs:range to specify the expected of objects in where the serves as the . With the release of RDF Schema 1.2 in October 2025, custom vocabularies can now leverage new terms such as rdfs:Proposition (a class for RDF statements) and rdf:reifies (a property linking resources to the statements they reify), facilitating advanced modeling of provenance, annotations, and statement-level metadata in knowledge graphs and linked data applications. A practical example illustrates this process: to define a vocabulary for describing people, one might declare a Person class as a subclass of rdfs:Resource (the root class of all resources) using rdfs:subClassOf. Then, define an age property with Person as its domain and xsd:integer (from XML Schema datatypes, integrated with RDF) as its range, ensuring that only instances of Person can have an age value and that such values must be integers. This can be expressed in Turtle syntax as follows:
:Person rdf:type rdfs:Class ;
        rdfs:subClassOf rdfs:Resource .

:age rdf:type rdf:Property ;
     rdfs:domain :Person ;
     rdfs:range xsd:integer .
Such declarations provide a for RDF , facilitating validation and . Best practices for defining custom vocabularies include adding human-readable documentation with rdfs:label for names and rdfs:comment for descriptions to enhance reusability and understanding. For representing collections, RDF Schema leverages built-in container classes like rdf:Seq (ordered lists), rdf:Bag (unordered sets), and rdf:Alt (alternatives) to model groups of . Additionally, designs should ensure monotonicity—meaning that adding new assertions does not invalidate existing —to maintain compatibility in distributed environments. Tools such as Protégé, an open-source editor, and Apache Jena, a Java framework for RDF processing, support RDFS validation by checking data against custom schemas and performing basic entailment reasoning. Custom RDFS vocabularies are commonly used in initiatives to create domain-specific ontologies; for instance, schema.org employs RDF Schema as the foundation for its extensible set of types and properties to markup for search engines. However, RDF Schema has limitations in expressiveness; it lacks support for advanced axioms such as property symmetry, beyond subclass hierarchies, or constraints, which must be deferred to more expressive languages like .

Relation to RDF and OWL

RDF Schema (RDFS) serves as a specialized vocabulary built directly upon the (RDF), extending its foundational to enable basic schema definitions and . Specifically, RDFS is defined as an RDF vocabulary, meaning all RDFS constructs—such as classes, properties, domains, and ranges—are expressed using RDF triples, ensuring that any valid RDFS graph is inherently a valid RDF graph. This tight integration implies that RDF entailment, which handles simple graph consistency and vocabulary interpretation, forms a proper subset of RDFS entailment, where additional rules for subclassing, subproperties, and typing are applied to derive implicit knowledge from explicit RDF statements. RDFS benefits from the broad ecosystem of RDF serialization formats and query languages, which natively accommodate its structures without requiring extensions. Formats such as , Turtle, and fully support the serialization of RDFS vocabularies and data, allowing seamless exchange of RDFS-enhanced RDF across systems. Similarly, the query language includes an RDFS entailment regime, enabling queries to operate over the RDFS of RDF graphs—meaning inferred from RDFS rules can be considered during without materializing the closure explicitly. In relation to the Web Ontology Language (OWL), RDFS provides the semantic foundation, particularly for , where OWL ontologies typically import the to leverage its and mechanisms. OWL extends RDFS expressivity by introducing advanced constructs like owl:equivalentClass for class equivalence, owl:disjointWith for disjointness, and complex restrictions on properties, all while preserving all RDFS entailments to maintain . The , published as a W3C recommendation in , explicitly incorporates RDFS as a compatible profile, allowing OWL reasoners to handle pure RDFS ontologies; with RDF 1.2, core RDFS semantics remain compatible, though new features like triple may require future OWL updates for full integration. Any semantic mismatches, such as OWL's handling of open-world assumptions versus potential closed-world interpretations, are managed through isolated extensions rather than altering core RDFS behavior. This interoperability facilitates practical applications, where RDFS supports lightweight reasoning in OWL Lite profiles from OWL 1, bridging simple schema validation with more sophisticated ontological descriptions. OWL reasoners, such as , routinely process RDFS as a default subset of , performing classifications and consistency checks on RDFS constructs efficiently within their broader engines. Briefly, OWL extends RDFS classes and properties with additional axioms, such as restrictions, to model more intricate domain relationships.

References

  1. [1]
    RDF 1.2 Schema - W3C
    Oct 3, 2025 · Abstract. RDF Schema provides a data-modelling vocabulary for RDF data. RDF Schema is an extension of the basic RDF vocabulary.
  2. [2]
    RDF Schema 1.1 - W3C
    Feb 25, 2014 · This document is an edited version of the 2004 RDF Schema Recommendation. The purpose of this revision is to make this document available as ...
  3. [3]
    RDF 1.1 Concepts and Abstract Syntax - W3C
    Feb 25, 2014 · This document defines an abstract syntax (a data model) which serves to link all RDF-based languages and specifications.
  4. [4]
    Resource Description Framework (RDF) Schema Specification - W3C
    Mar 3, 1999 · A language for the exchange of machine-understandable descriptions of resources on the Web. A separate specification describes the data model and syntax.Missing: origins | Show results with:origins
  5. [5]
    Resource Description Framework (RDF) Schema Specification 1.0
    Mar 27, 2000 · With the publication of this document, the RDF Schema specification enters W3C Candidate Recommendation phase.
  6. [6]
    RDF - Semantic Web Standards - W3C
    RDF is a standard model for data interchange on the Web. RDF has features that facilitate data merging even if the underlying schemas differ, and it ...
  7. [7]
    OWL 2 Web Ontology Language Document Overview (Second Edition)
    Dec 11, 2012 · OWL 2 is an ontology language for the Semantic Web, providing classes, properties, individuals, and data values, and is an extension of OWL 1.Introduction · Overview · Relationship to OWL 1 · Documentation Roadmap
  8. [8]
  9. [9]
  10. [10]
  11. [11]
  12. [12]
  13. [13]
  14. [14]
    RDF 1.1 Semantics - W3C
    Feb 25, 2014 · This document defines a model-theoretic semantics for RDF graphs and the RDF and RDFS vocabularies, providing an exact formal specification of when truth is ...
  15. [15]
  16. [16]
    SPARQL 1.1 Entailment Regimes - W3C
    Mar 21, 2013 · An entailment regime specifies how an entailment relation such as RDF Schema entailment can be used to redefine the evaluation of basic graph ...
  17. [17]
    Completeness, decidability and complexity of entailment for RDF ...
    We prove that entailment for RDF Schema (RDFS) is decidable, NP-complete, and in P if the target graph does not contain blank nodes.
  18. [18]
    RDF Semantics - W3C
    Feb 10, 2004 · Throughout this document, precise semantic conditions will be set out in tables which state semantic conditions, tables containing true ...
  19. [19]
    Data model - Schema.org
    The following is a discussion about the data model used by schema.org. The data model used is very generic and derived from RDF Schema.
  20. [20]
    RDF 1.1 Primer - W3C
    Jun 24, 2014 · This primer is designed to provide the reader with the basic knowledge required to effectively use RDF. It introduces the basic concepts of RDF and shows ...
  21. [21]
    OWL 2 Web Ontology Language Structural Specification and ... - W3C
    Dec 11, 2012 · OWL 2 ontologies can be used along with information written in RDF, and OWL 2 ontologies themselves are primarily exchanged as RDF documents.
  22. [22]
    HermiT Reasoner: Home
    Given an OWL file, HermiT can determine whether or not the ontology is consistent, identify subsumption relationships between classes, and much more. HermiT is ...About KRR · People · Projects · Tools & DatasetsMissing: RDFS | Show results with:RDFS