Abstract
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 application-dependent 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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Artale, A., Franconi, E.: A survey of temporal extensions of description logics. Annals of Mathematics and Artificial Intelligence 30, 171–210 (2001), http://portal.acm.org/citation.cfm?id=590341.590357
Augusto, J.C.: The logical approach to temporal reasoning. Artif. Intell. Rev. 16, 301–333 (2001), http://portal.acm.org/citation.cfm?id=565277.565279
Carmichael, D.J., Kay, J., Kummerfeld, B.: Consistent modelling of users, devices and sensors in a ubiquitous computing environment. User Modeling and User-Adapted Interaction 15, 197–234 (2005), http://portal.acm.org/citation.cfm?id=1101018.1101052
Giumale, C., Negreanu, L.: Reasoning with fluid qualities. In: 17th International Conference on Control Systems and Computer Science, CSCS-17, vol. 2, pp. 197–203 (December 2009)
Grau, B.C., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P., Sattler, U.: Owl 2: The next step for owl. Web Semant. 6, 309–322 (2008), http://portal.acm.org/citation.cfm?id=1464505.1464604
Giarratano, J.: Clips reference manual (1994)
Wielemaker, J., Schrijvers, T., Triska, M., Lager, T.: Swi-prolog. CoRR abs/1011.5332 (2010)
Juarez, J.M., Campos, M., Palma, J., Marin, R.: Computing context-dependent temporal diagnosis in complex domains. Expert Syst. Appl. 35, 991–1010 (2008), http://portal.acm.org/citation.cfm?id=1383655.1383743
Li, S., Ying, M.: Region connection calculus: its models and composition table. Artif. Intell. 145, 121–146 (2003)
de Melo, G., Weikum, G.: Towards a universal wordnet by learning from combined evidence. In: Proceeding of the 18th ACM conference on Information and knowledge management. CIKM 2009, pp. 513–522. ACM, New York (2009), http://doi.acm.org/10.1145/1645953.1646020
NASA: Clips website (December 2010), http://clipsrules.sourceforge.net/WhatIsCLIPS.html
Pan, F.: An Ontology of Time: Representing Complex Temporal Phenomena for the Semantic Web and Natural Language. VDM Verlag, Saarbrücken (2009)
Pesic, M.: Decserflow: Towards a truly declarative service flow language, pp. 1–23. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Popovici, M., Muraru, M., Agache, A., Giumale, C., Negreanu, L., Dobre, C. (2011). A Modeling Method and Declarative Language for Temporal Reasoning Based on Fluid Qualities. In: Andrews, S., Polovina, S., Hill, R., Akhgar, B. (eds) Conceptual Structures for Discovering Knowledge. ICCS 2011. Lecture Notes in Computer Science(), vol 6828. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22688-5_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-22688-5_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22687-8
Online ISBN: 978-3-642-22688-5
eBook Packages: Computer ScienceComputer Science (R0)