tOWL: A Temporal Web Ontology Language

Through its interoperability and reasoning capabilities, the Semantic Web opens a realm of possibilities for developing intelligent systems on the Web. The Web Ontology Language (OWL) is the most expressive standard language for modeling ontologies, the cornerstone of the Semantic Web. However, up u...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on cybernetics 2012-02, Vol.42 (1), p.268-281
Main Authors: Milea, V., Frasincar, F., Kaymak, U.
Format: Article
Language:English
Subjects:
Algorithms
Artificial Intelligence
Concrete
Concrete domains
Context
Cybernetics
fluents
intelligent systems
Internet
Intervals
machine communication
Mathematical models
Natural Language Processing
Ontologies
OWL
OWL (telescope)
Pattern Recognition, Automated - methods
Programming Languages
Representations
Resource description framework
Semantic Web
Semantics
Software
Temporal logic
time representation
Web Ontology Language (OWL)
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Through its interoperability and reasoning capabilities, the Semantic Web opens a realm of possibilities for developing intelligent systems on the Web. The Web Ontology Language (OWL) is the most expressive standard language for modeling ontologies, the cornerstone of the Semantic Web. However, up until now, no standard way of expressing time and time-dependent information in OWL has been provided. In this paper, we present a temporal extension of the very expressive fragment SHIN(D) of the OWL Description Logic language, resulting in the temporal OWL language. Through a layered approach, we introduce three extensions: 1) concrete domains, which allow the representation of restrictions using concrete domain binary predicates; 2) temporal representation , which introduces time points, relations between time points, intervals, and Allen's 13 interval relations into the language; and 3) timeslices/fluents, which implement a perdurantist view on individuals and allow for the representation of complex temporal aspects, such as process state transitions. We illustrate the expressiveness of the newly introduced language by using an example from the financial domain.
ISSN:1083-4419
2168-2267
1941-0492
2168-2275
DOI:10.1109/TSMCB.2011.2162582