tOWL : A Temporal Web Ontology Language

Through its interoperability and reasoning capabilities, the Semantic Web opens a realm of possibilities for developing intelligent systems on the Web. The Web Ontology Language (OWL) is the most expressive standard language for modeling ontologies, the cornerstone of the Semantic Web. However, up until now, no standard way of expressing time and time-dependent information in OWL has been provided. In this paper, we present a temporal extension of the very expressive fragment SHIN(D) of the OWL Description Logic language, resulting in the temporal OWL language. Through a layered approach, we introduce three extensions: 1) concrete domains, which allow the representation of restrictions using concrete domain binary predicates; 2) temporal representation , which introduces time points, relations between time points, intervals, and Allen's 13 interval relations into the language; and 3) timeslices/fluents, which implement a perdurantist view on individuals and allow for the representation of complex temporal aspects, such as process state transitions. We illustrate the expressiveness of the newly introduced language by using an example from the financial domain.

[1]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[2]  Chang-Shing Lee,et al.  A fuzzy ontology and its application to news summarization , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[3]  Giovanni Acampora,et al.  Using Fuzzy Technology in Ambient Intelligence Environments , 2005, The 14th IEEE International Conference on Fuzzy Systems, 2005. FUZZ '05..

[4]  Stefano Spaccapietra,et al.  TERC+ : a temporal conceptual model , 1997 .

[5]  Uzay Kaymak,et al.  An OWL-based approach towards representing time in web information systems , 2007 .

[6]  Carsten Lutz,et al.  A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes , 2007, Journal of Automated Reasoning.

[7]  Carsten Lutz.  Interval-based Temporal Reasoning with General TBoxes , 2001, IJCAI.

[8]  Jerry R. Hobbs,et al.  An ontology of time for the semantic web , 2004, TALIP.

[9]  Enrico Franconi,et al.  A survey of temporal extensions of description logics , 2001, Annals of Mathematics and Artificial Intelligence.

[10]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[11]  Diego Calvanese,et al.  The description logic handbook: theory , 2003 .

[12]  Giovanni Acampora,et al.  Fuzzy control interoperability and scalability for adaptive domotic framework , 2005, IEEE Transactions on Industrial Informatics.

[13]  Ian Horrocks.  The FaCT System , 1998, TABLEAUX.

[14]  Euripides G. M. Petrakis,et al.  SOWL: spatio-temporal representation, reasoning and querying over the semantic web , 2010, I-SEMANTICS '10.

[15]  Uzay Kaymak,et al.  Knowledge Engineering in a Temporal Semantic Web Context , 2008, 2008 Eighth International Conference on Web Engineering.

[16]  Gultekin Özsoyoglu,et al.  Temporal and Real-Time Databases: A Survey , 1995, IEEE Trans. Knowl. Data Eng..

[17]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[18]  Richard Fikes,et al.  A Reusable Ontology for Fluents in OWL , 2006, FOIS.

[19]  Chang-Shing Lee,et al.  Ontology-based Intelligent Decision Support Agent for CMMI Project Monitoring and Control , 2006, NAFIPS 2006.

[20]  Arie Segev,et al.  A consensus glossary of temporal database concepts , 1994, SIGMOD 1994.

[21]  Enrico Franconi,et al.  A Computational Account for a Description Logic of Time and Action , 1994, KR.

[22]  Ramez Elmasri,et al.  A consensus glossary of temporal database concepts , 1994, SGMD.

[23]  Carsten Lutz.  Adding Numbers to the SHIQ Description Logic: First Results , 2002, KR.

[24]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[25]  Franz Baader,et al.  A Scheme for Integrating Concrete Domains into Concept Languages , 1991, IJCAI.

[26]  Claudio Gutiérrez,et al.  Introducing Time into RDF , 2007, IEEE Transactions on Knowledge and Data Engineering.

[27]  Vincenzo Loia,et al.  A hybrid approach to semantic web services matchmaking , 2008, Int. J. Approx. Reason..

[28]  Enrico Franconi,et al.  A Temporal Description Logic for Reasoning about Actions and Plans , 1998, J. Artif. Intell. Res..

[29]  Carsten Lutz,et al.  Temporal Description Logics: A Survey , 2008, 2008 15th International Symposium on Temporal Representation and Reasoning.

[30]  Uzay Kaymak,et al.  On Temporal Cardinality in the Context of the TOWL Language , 2008, ER Workshops.

[31]  Carsten Lutz,et al.  Description Logics with Concrete Domains-A Survey , 2002, Advances in Modal Logic.

[32]  Kevin Barraclough,et al.  I and i , 2001, BMJ : British Medical Journal.

[33]  Garima Gupta,et al.  A Survey on Cloud Security Issues and Techniques , 2014, RCIS 2014.

[34]  Euripides G. M. Petrakis,et al.  Representing Temporal Knowledge in the Semantic Web: The Extended 4D Fluents Approach , 2011 .

[35]  Uzay Kaymak,et al.  tOWL: Integrating Time in OWL , 2009, Semantic Web Information Management.

[36]  Dan Brickley,et al.  Rdf vocabulary description language 1.0 : Rdf schema , 2004 .

[37]  Chang-Shing Lee,et al.  Ontology-based computational intelligent multi-agent and its application to CMMI assessment , 2009, Applied Intelligence.

[38]  Enrico Franconi,et al.  The DLRUS Temporal Description Logic , 2001, Description Logics.

[39]  Boris Motik,et al.  Representing and querying validity time in RDF and OWL: A logic-based approach , 2010, J. Web Semant..

[40]  G. Leibniz,et al.  Philosophical papers and letters. , 2011 .

[41]  I. Horrocks,et al.  DL Systems Comparison , 1998 .

[42]  Marek Reformat,et al.  Ontological approach to development of computing with words based systems , 2009, Int. J. Approx. Reason..

[43]  Jeremy J. Carroll,et al.  Resource description framework (rdf) concepts and abstract syntax , 2003 .

[44]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.