OWL-MeT (abbreviation from OWL-MetricTime) is the ontology language, based on top of OWL and aiming at presentation of both topological and metric properties of time in OWL ontologies.

OWL-MeT has the formal basis:

Implementation of satisfiability checking algorithm for OWL-MeT is based on Pellet – Java open-source reasoner.

Related links are:

OWL-MeT abstract syntax

OWL-MeT mapping to RDF(S) graphs

Examples of OWL-MeT descriptions

Pellet-MeT reasoner

Useful publications