OWL-MeT (abbreviation from OWL-
Metric
Time)
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:
- the description logic underlying OWL-MeT is MT–ALCO.
It is a fusion of description logic ALCO (allowing intersections, unions, negations of concepts, nominals, and disallowing (un-)qualified number restrictions)
and hybrid metric temporal logic MT (future n, past n, somefuture, somepast, allfuture, allpast with hybrid satisfaction operator @)
- the reasoning in MT–ALCO is grounded on the developed tableaux ruleset
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
Team