A RDF-based model for expressing spatio-temporal relations between Web sites

WISE 2002 - Proceedings of the 3rd International Conference on Web Information Systems Engineering

Volumn , Issue , 2002, Pages 355-361

  Buraga, S ^a   Ciobanu, G ^b  

^a ALEXANDRU IOAN CUZA UNIVERSITY OF IASI   (Romania)

^b NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION SYSTEMS; SYSTEMS ANALYSIS; SYSTEMS ENGINEERING; WEBSITES;

GENERAL PURPOSE TECHNOLOGIES; HIGH-LEVEL MODELING; RESOURCE DESCRIPTION FRAMEWORK; RESOURCE DISCOVERY; SPATIO-TEMPORAL RELATIONS; SPATIO-TEMPORAL RELATIONSHIPS; WORLD WIDE WEB CONSORTIUMS; XML-BASED LANGUAGES;

WORLD WIDE WEB;

EID: 77953031563     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WISE.2002.1181671     Document Type: Conference Paper

References (28)

1. J. Allen, "Time and Time Again: The Many Ways to Represent Time", International Journal of Intelligent Systems, 6 (4), 1991.
2. J. Allen, "Maintaining Knowledge about Temporal Intervals", Communications of the ACM, 26 (11), 1983.
3. J. Allen, P. Hayes, "Moments and Points in an Interval-based Temporal Logic", Computational Intelligence, 5 (4), 1989.
4. J. Allen, G. Ferguson, Actions and Events in Interval Temporal Logic, Technical Report 521, The University of Rochester, New York, 1994.
5. R. Alur, T. A. Henzinger, "Logics and Model of Real Time: a Survey", in J. W. de Bakker et al. (eds.), Real-Time: Theory in Practice, Lecture Notes in Computer Science 600, Sprinver-Verlag, 1992.
6. R. Alur, T. A. Henzinger, "A Really Temporal Logic", The Journal of the ACM, 41, 1994.
7. A. Artale, E. Franconi, "Temporal Description Logics", in L. Vile et al. (eds.), Handbook of Time and Temporal Reasoning in Artificial Intelligence, MIT Press, 1999.
8. J. Ayars et al. (eds.), Synchronized Multimedia Integration Language (SMIL 2.0), W3C Recommendation, Boston, 2001: http://www.w3.org/TR/smil20
9. J. Bailey et al., "An Event-Condition-Action Language for XML", Proc. of World-Wide Web 2002 Conference, Honolulu, ACM Press, 2002.
10. D. Beckett, "The Design and Implementation of the Redland RDF Application Framework", Proc. of the 10th World-Wide Web Conference, Hong Kong, ACM Press, 2001.
11. T. Berners-Lee, J. Hendler, O. Lassila, "The Semantic Web", Scientific American, 5, 2001.
12. H. Boley, "Markup Languages for Functional-Logic Programming", Proc. 9th WFLP 2000, Benicassim, Spain, 2000.
13. T. Bray et al. (eds.), Extensible Markup Language (XML) - version 1.0 (updated), W3C Recommendation, Boston, 2000: http://www.w3.org/TR/REC-xml
14. D. Brickley, R. V. Guha (eds.), Resource Description Framework (RDF) Schema Specification, W3C Candidate Recommendation, Boston, 2000: http://www.w3.org/TR/rdf-schema
15. S. Buraga, Web Technologies (in Romanian), Matrix Rom, Bucharest, 2001.
16. S. Buraga, "A Model for Accessing Resources of the Distributed File Systems", Lecture Notes in Computer Science 2326, Springer-Verlag, 2002.
17. J. Chomicki, "Temporal Query Languages: a Survey", Proc. First International Conference on Temporal Logic, Lecture Notes in Artificial Intelligence 827, Springer-Verlag, 1994.
18. W. Conen, R. Klapsing, "A Logical Interpretation of RDF", Linköping Electronic Articles in Computer and Information Science, 5, 2000: http://www.ida.liu.se/ext/epa/cis/2000/013/tcover.html
19. E. A. Emerson, "Temporal and Modal Logic", in J. von Leenwen (ed.), Handbook of Theoretical Computer Science: Volume B, Formal Methods and Semantics, Elsevier Science and MIT Press, 1990.
20. D. Fallside (ed.), XML Schema, W3C Recommendation, Boston, 2001: http://www.w3.org/TR/xmlschema-0/
21. P. Hayes (ed.), RDF Model Theory, W3C Working Draft, Boston, 2002: http://www.w3.org/TR/rdf-mt/
22. L. Lamport, "Sometime" is Sometimes "Not Ever" : a Tutorial on the Temporal Logic of Programs", Proc. of the 7th Annual Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN, 1980.
23. L. Lamport, "The Temporal Logic of Actions", ACM Transactions on Programming Languages and Systems, 16 (5), 1994.
24. S. Owicki, L. Lamport, "Proving Liveness Properties of Concurrent Systems", ACM Transactions on Programming Languages and Systems, 4 (3), 1982.
25. O. Lassila, R. Swick (eds.), Resource Description Framework (RDF) Model and Syntax Specification, W3C Recommendation, Boston, 1999: http://www.w3.org/TR/REC-rdf-syntax
26. A. Pnueli, "The Temporal Logic of Programs", Proc. of the 18th Symposium on the Foundations of Computer Science, IEEE Computer Society Press, 1977.
27. L. Vieu, Sémantique des relations spatiales et inférences spatio-temporelles, PhD thesis, Université Paul Sabatier, Toulouse, 1991.
28. M. Vilain, H. Kautz, P. van Beek, "Constraint Propagation Algorithms for Temporal Reasoning: a Revised Report", Readings in Qualitative Reasoning about Physical Systems, Morgan Kaufman, San Mateo, CA, 1990.