Imposing Restrictions over Temporal Properties in OWL: A Rule-Based Approach.

Sotiris Batsakis Euripides G. M. Petrakis

Published in: RuleML (2012)

Keyphrases

temporal properties
model checking
possibility theory
formal methods
knowledge base
knowledge representation
semantic web
temporal logic
owl ontologies
semantic web technologies
probabilistic model
general purpose