The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
A survey of temporal extensions of description logics
Annals of Mathematics and Artificial Intelligence
Region connection calculus: its models and composition table
Artificial Intelligence
Consistent Modelling of Users, Devices and Sensors in a Ubiquitous Computing Environment
User Modeling and User-Adapted Interaction
Computing context-dependent temporal diagnosis in complex domains
Expert Systems with Applications: An International Journal
Web Semantics: Science, Services and Agents on the World Wide Web
An Ontology of Time: Representing Complex Temporal Phenomena for the Semantic Web and Natural Language
Towards a universal wordnet by learning from combined evidence
Proceedings of the 18th ACM conference on Information and knowledge management
Theory and Practice of Logic Programming - Prolog Systems
DecSerFlow: towards a truly declarative service flow language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Hi-index | 0.01 |
Current knowledge representation mechanisms focus more on providing a static description of a modeled universe and less on capturing evolution. Ontology modeling languages, such as OWL, have no inherent means for describing time or time-dependent properties. In such settings, time is usually represented along with other applicationdependent concepts, yielding complex models that are difficult to maintain, extend, and reason about. On the other hand, in imperative languages that allow the definition of time-dependent behavior and interactions such as WS-BPEL, the emphasis is on specifying the control flow in a service-oriented environment. In contrast, we argue that a declarative approach is more suitable. We propose a modeling method and a declarative language, designed for representing and reasoning about time-dependent properties. The method is applicable in areas such as ubiquitous computing, allowing the specification of intelligent device behaviour.