Open Access
OWL 2 Web Ontology Language: structural specification and functional-style syntax
Boris Motik,Peter F. Patel-Schneider,Bijan Parsia,C. Bock,Achille Fokoue,Peter Haase,Rinke Hoekstra,Ian Horrocks,Alan Ruttenberg,Ulrike Sattler,M. Smith +10 more
TLDR
The OWL 2 Web Ontology Language, informally OWL2, is an ontology language for the Semantic Web with formally defined meaning.Abstract:
The OWL 2 Web Ontology Language, informally OWL 2, is an ontology language for the Semantic Web with formally defined meaning. OWL 2 ontologies provide classes, properties, individuals, and data values and are stored as Semantic Web documents. OWL 2 ontologies can be used along with information written in RDF, and OWL 2 ontologies themselves are primarily exchanged as RDF documents. The OWL 2 Document Overview describes the overall state of OWL 2, and should be read before other OWL 2 documents. The meaningful constructs provided by OWL 2 are defined in terms of their structure. As well, a functional-style syntax is defined for these constructs, with examples and informal descriptions. One can reason with OWL 2 ontologies under either the RDF-Based Semantics [OWL 2 RDF-Based Semantics] or the Direct Semantics [OWL 2 Direct Semantics]. If certain restrictions on OWL 2 ontologies are satisfied and the ontology is in OWL 2 DL, reasoning under the Direct Semantics can be implemented using techniques well known in the literature.read more
Citations
More filters
Journal ArticleDOI
A survey of context modelling and reasoning techniques
Claudio Bettini,Oliver Brdiczka,Karen Henricksen,Jadwiga Indulska,Daniela Nicklas,Anand Ranganathan,Daniele Riboni +6 more
TL;DR: The requirements that context modelling and reasoning techniques should meet are discussed, including the modelling of a variety ofcontext information types and their relationships, of situations as abstractions of context information facts, of histories of contextInformation, and of uncertainty of context Information.
Journal ArticleDOI
The OWL API: A Java API for OWL ontologies
Matthew Horridge,Sean Bechhofer +1 more
TL;DR: The OWL API is a high level Application Programming Interface (API) for working with OWL ontologies that supports parsing and rendering in the syntaxes defined in the W3C specification; manipulation of ontological structures; and the use of reasoning engines.
OWL 2 Web Ontology Language
TL;DR: TheManchester Syntax is used in the OWL 2 Primer, and this document provides the language used there; it is expected that tools will extend the Manchester Syntax for their own purposes, and tool builders may collaboratively extend the common language.
Journal ArticleDOI
HermiT: An OWL 2 Reasoner
TL;DR: This system description paper introduces the OWL 2 reasoner HermiT, a system based on the hypertableau calculus that supports a wide range of standard and novel optimisations that improve the performance of reasoning on real-world ontologies.
Journal ArticleDOI
Binary RDF representation for publication and exchange (HDT)
TL;DR: This article develops a proposal of an RDF representation that modularly partitions and efficiently represents three components of RDF datasets: Header information, a Dictionary, and the actual Triples structure (thus called HDT).
References
More filters
Key words for use in RFCs to Indicate Requirement Levels
TL;DR: This document defines these words as they should be interpreted in IETF documents as well as providing guidelines for authors to incorporate this phrase near the beginning of their document.
Uniform Resource Identifiers (URI): Generic Syntax
TL;DR: This document defines the generic syntax of URI, including both absolute and relative forms, and guidelines for their use, and revises and replaces the generic definitions in RFC 1738 and RFC 1808.
Journal ArticleDOI
Query Answering for OWL-DL with rules
TL;DR: A decidable combination of OWL-DL and function-free Horn rules where rules are required to be DL-safe: each variable in the rule is required to occur in a non-DL-atom in therule body.
OWL 2 Web Ontology Language
TL;DR: TheManchester Syntax is used in the OWL 2 Primer, and this document provides the language used there; it is expected that tools will extend the Manchester Syntax for their own purposes, and tool builders may collaboratively extend the common language.
UTF-8, a transformation format of ISO 10646
TL;DR: This memo updates and replaces RFC 2044, in particular addressing the question of versions of the relevant standards, and has the characteristic of preserving the full US-ASCII range, providing compatibility with file systems, parsers and other software that rely on US- ASCII values but are transparent to other values.