A semantic approach to railway data integration and decision support

The work presented in this thesis was motivated by the desire of the railway industry to capitalise on new technology developments promising seamless integration of distributed data. This includes systems that generate, consume and transmit data for asset decision support. The primary aim of the research was to investigate the limitations of previous syntactic data integration exercises, creating a foundation for semantic system development. The objective was to create a modelling process enabling domain experts to provide the information concepts and semantic relationships between those concepts. The resulting model caters for the heterogeneity between systems supplying data that previous syntactic approaches failed to achieve and integrate data from multiple systems such that the context of data is not lost when centralised in a repository. The essence of this work is founded on two characteristics of distributed data management; the first is that current Web tools, like XML, are not effective for all aspects of technical interoperability because they do not capture the context of the data; and second, there is little relationship between conventional database management systems and the data structures that are utilised in Web based data exchange which means that a different set of architecture components are required.

[1]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, SEMWEB.

[2]  Thomas R. Gruber,et al.  Toward principles for the design of ontologies used for knowledge sharing? , 1995, Int. J. Hum. Comput. Stud..

[3]  Kevin Prendergast Condition monitoring on the Class 390 Pendolino , 2008 .

[4]  Volker Haarslev,et al.  Racer: An OWL Reasoning Agent for the Semantic Web , 2003 .

[5]  I. Horrocks,et al.  A PSPACE-algorithm for deciding ALCNIR+-satisfiability , 1998 .

[6]  Anind K. Dey,et al.  Understanding and Using Context , 2001, Personal and Ubiquitous Computing.

[7]  Cheryl L. Dunn,et al.  Syntactic and Semantic Understanding of Conceptual Data Models , 2001, ICIS.

[8]  Ellen Siever,et al.  Linux in a nutshell - a desktop quick reference (4. ed.) , 2000 .

[9]  David J. Israel The Role of Logic in Knowledge Representation , 1983, Computer.

[10]  Hector J. Levesque,et al.  An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON , 1985, IJCAI.

[11]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[12]  Harry Chen,et al.  SOUPA: standard ontology for ubiquitous and pervasive applications , 2004, The First Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services, 2004. MOBIQUITOUS 2004..

[13]  Ernesto Damiani,et al.  Open WorldReasoning inSemantics-Aware AccessControl: aPreliminaryStudy , 2005, SWAP.

[14]  N. F. Noy,et al.  Ontology Development 101: A Guide to Creating Your First Ontology , 2001 .

[15]  Ian Horrocks,et al.  A Description Logic with Transitive and Inverse Roles and Role Hierarchies , 1999, J. Log. Comput..

[16]  Derek Coleman,et al.  Using semantic Web technology to enhance current business-to-business integration approaches , 2003, Seventh IEEE International Enterprise Distributed Object Computing Conference, 2003. Proceedings..

[17]  Hector J. Levesque,et al.  Knowledge Representation and Reasoning , 2004 .

[18]  Sean Bechhofer,et al.  OWL: Web Ontology Language , 2009, Encyclopedia of Database Systems.

[19]  Andrew Nash,et al.  RAILML - A STANDARD DATA INTERFACE FOR RAILROAD APPLICATIONS , 2004 .

[20]  D. Holmes,et al.  Using a Military Information Ontology to Build Semantic Architecture Models for Airspace Systems , 2005, 2005 IEEE Aerospace Conference.

[21]  Robert M. Colomb,et al.  Ontology and the Semantic Web , 2007, Frontiers in Artificial Intelligence and Applications.

[22]  Steffen Staab,et al.  Engineering Ontologies using Semantic Patterns , 2001, OIS@IJCAI.

[23]  Emilio Miguelanez,et al.  Fault diagnosis of a train door system based on semantic knowledge representation , 2008 .

[24]  Diane M. Strong,et al.  Data quality in context , 1997, CACM.

[25]  Tariq Samad,et al.  SYSTEM ARCHITECTURE FOR PROCESS AUTOMATION: REVIEW AND TRENDS , 2006 .

[26]  Christian Seitz,et al.  Towards Semantics-based Monitoring of Large-Scale Industrial Systems , 2006, 2006 International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (CIMCA'06).

[27]  Roland Houde,et al.  Handbook of Logic , 2013 .

[28]  Ian Horrocks,et al.  Ontologies and the semantic web , 2008, CACM.

[29]  Frederick P. Brooks,et al.  Architecture of the IBM System/360 , 1964, IBM J. Res. Dev..

[30]  Andrew B. Whinston,et al.  Enterprise decision support using Intranet technology , 1997, Decis. Support Syst..

[31]  Robert Stevens,et al.  OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns , 2004, EKAW.

[32]  Jane Hunter,et al.  Towards a Core Ontology for Information Integration , 2003, J. Digit. Inf..

[33]  Christer Carlsson,et al.  Past, present, and future of decision support technology , 2002, Decis. Support Syst..

[34]  Ian Horrocks,et al.  A Tableaux Decision Procedure for SHOIQ , 2005, IJCAI.

[35]  Matthew West Developing High Quality Data Models , 2011 .

[36]  Ian Horrocks,et al.  Enabling knowledge representation on the Web by extending RDF schema , 2001, WWW '01.

[37]  Clive Roberts,et al.  Life cycle costs for railway condition monitoring , 2008 .

[38]  Clive Roberts,et al.  Using non-monotonic reasoning to manage uncertainty in railway asset diagnostics , 2010, Expert Syst. Appl..

[39]  Jessika Schulze,et al.  Handbook Of Logic In Artificial Intelligence And Logic Programming , 2016 .

[40]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning with the Region Connection Calculus , 1997, GeoInformatica.

[41]  Diego López-de-Ipiña,et al.  Ubiquitous Intelligence and computing for enabling a smarter world , 2017, Personal and Ubiquitous Computing.

[42]  Nicola Guarino,et al.  Ontologies and Knowledge Bases. Towards a Terminological Clarification , 1995 .

[43]  J.Q. Feng,et al.  Condition Assessment of Power System Apparatuses Using Ontology Systems , 2005, 2005 IEEE/PES Transmission & Distribution Conference & Exposition: Asia and Pacific.

[44]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[45]  Simon Schenk,et al.  Optimizing SPARQL Queries over Disparate RDF Data Sources through Distributed Semi-Joins , 2008, SEMWEB.

[46]  Hector J. Levesque,et al.  Competence in Knowledge Representation , 1982, AAAI.

[47]  Manus P. Henry,et al.  Remote condition monitoring and validation of railway points , 2002 .

[48]  Moshe Y. Vardi Why is Modal Logic So Robustly Decidable? , 1996, Descriptive Complexity and Finite Models.

[49]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[50]  Wendy Hall,et al.  The Semantic Web Revisited , 2006, IEEE Intelligent Systems.

[51]  Isabel F. Cruz,et al.  Semantic Data Integration in Hierarchical Domains , 2003, IEEE Intell. Syst..

[52]  Filip De Turck,et al.  Distributed Reasoning for Context-Aware Services through Design of an OWL Meta-Model , 2008, Fourth International Conference on Autonomic and Autonomous Systems (ICAS'08).

[53]  Adrian Paschke,et al.  Rule Markup Languages and Semantic Web Rule Languages , 2010 .

[54]  D.E. Cardarella,et al.  UNIX concepts and capabilities , 1990, Conference Record of the 1990 IEEE Industry Applications Society Annual Meeting.

[55]  Steffen Staab,et al.  International Handbooks on Information Systems , 2013 .

[56]  Umberto Straccia,et al.  Managing uncertainty and vagueness in description logics for the Semantic Web , 2008, J. Web Semant..

[57]  Shamkant B. Navathe,et al.  XML Schema Mappings for Heterogeneous Database Access , 2002, Inf. Softw. Technol..

[58]  Robert S. Schwartz,et al.  Solid Logic Technology: Versatile, high-performance microelectronics , 2000, IBM J. Res. Dev..

[59]  Alan L. Rector,et al.  Representing Transitive Propagation in OWL , 2006, ER.

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

[61]  Sarit Kraus,et al.  Nonmonotonicity and the Scope of Reasoning , 1991, Artif. Intell..

[62]  William David Salisbury,et al.  Understanding the influence of organizational change strategies on information technology and knowledge management strategies , 2001, Decis. Support Syst..

[63]  Juhnyoung Lee,et al.  Ontology management for large-scale enterprise systems , 2006, Electron. Commer. Res. Appl..

[64]  H. Sofia Pinto,et al.  Ontologies: How can They be Built? , 2004, Knowledge and Information Systems.

[65]  Frank van Harmelen,et al.  A semantic web primer , 2004 .

[66]  B. Rubenstein-Montano,et al.  A systems thinking framework for knowledge management , 2001, Decis. Support Syst..

[67]  Andrew Goodchild,et al.  UML and XML Schema , 2002, Australasian Database Conference.

[68]  Robert Meersman,et al.  Data modelling versus ontology engineering , 2002, SGMD.

[69]  Daniel Elenius,et al.  Reasoning about Resources and Hierarchical Tasks Using OWL and SWRL , 2009, SEMWEB.

[70]  Elisabeth Métais,et al.  Building and maintaining ontologies: a set of algorithms , 2004, Data Knowl. Eng..

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

[72]  Boris Motik,et al.  Representing ontologies using description logics, description graphs, and rules , 2009, Artif. Intell..

[73]  P. Hayes The Logic of Frames , 1981 .

[74]  I. Horrocks,et al.  The Instance Store: DL Reasoning with Large Numbers of Individuals , 2004, Description Logics.

[75]  Ian Horrocks,et al.  Reasoning with Individuals for the Description Logic SHIQ , 2000, CADE.

[76]  Clive Roberts,et al.  Industrial fault diagnosis: Pneumatic train door case study , 2002 .

[77]  Mauro Dell’Orco,et al.  New Decision Support System for Optimization of Rail Track Maintenance Planning Based on Adaptive Neurofuzzy Inference System , 2008 .

[78]  Samson W. Tu,et al.  Supporting Collaborative Ontology Development in Protégé , 2008, SEMWEB.

[79]  Herbert Schweinzer,et al.  Measurement data treatment in multi-sensor applications for railway vehicle inspection , 2005 .

[80]  Elliotte Rusty Harold,et al.  XML in a nutshell - a desktop quick reference: covers XML 1.1. and XInclude (3. ed.) , 2000 .

[81]  Klaus Schild,et al.  A Correspondence Theory for Terminological Logics: Preliminary Report , 1991, IJCAI.

[82]  S.D.J. McArthur,et al.  Building multi-agent systems for power engineering applications , 2006, 2006 IEEE Power Engineering Society General Meeting.

[83]  Ian Horrocks,et al.  The Description Logic Handbook: OWL: a Description-Logic-Based Ontology Language for the Semantic Web , 2007 .

[84]  Ian Horrocks,et al.  A Little Semantic Web Goes a Long Way in Biology , 2005, SEMWEB.

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

[86]  E. Matsika,et al.  Matsika, Emmanuel, O’Neill, Conor, Grasso, Marzio and De Iorio, Antonio (2018) Selection and ranking of the main beam geometry of a freight wagon for lightweighting. Proceedings of the Institution of Mechanical Engineers, Part F: Journal of Rail and Rapid Transit, , 2016 .

[87]  Lin Padgham,et al.  A Framework for Part-of Hierarchies in Terminological Logics , 1994, KR.

[88]  Pierpaolo Boffi,et al.  Fiber Sensor for Collector Strain Monitoring in the Pantograph-Catenary Interaction , 2006 .

[89]  Alexander Borgida,et al.  Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources , 2002, OTM.

[90]  Jan Smid,et al.  Ontology Design with Formal Concept Analysis , 2004, CLA.

[91]  Lee W. Lacy OWL: Representing Information Using the Web Ontology Language , 2006 .

[92]  B. D. Ollier Intelligent infrastructure - the business challenge , 2006 .

[93]  Ian Horrocks,et al.  14 OWL : a Description Logic Based Ontology Language for the Semantic Web , 2006 .

[94]  Michael Berger,et al.  A metamodel approach to context information , 2005, Third IEEE International Conference on Pervasive Computing and Communications Workshops.

[95]  C.W. Holsapple,et al.  Flexible user interface for decision support systems , 1988, [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track.

[96]  Boris Motik,et al.  Can OWL and Logic Programming Live Together Happily Ever After? , 2006, International Semantic Web Conference.

[97]  Maurizio Lenzerini,et al.  TBox and ABox Reasoning in Expressive Description Logics , 1996, KR.

[98]  Mike Uschold,et al.  A Framework for Understanding and Classifying Ontology Applications , 1999 .

[99]  Jay Liebowitz,et al.  Knowledge management and its link to artificial intelligence , 2001, Expert Syst. Appl..

[100]  Ian Horrocks,et al.  Ontology Reasoning in the SHOQ(D) Description Logic , 2001, IJCAI.

[101]  Jay Liebowitz,et al.  Expert systems: A short introduction , 1995 .

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

[103]  M. G. Thurston An open standard for Web-based condition-based maintenance systems , 2001, 2001 IEEE Autotestcon Proceedings. IEEE Systems Readiness Technology Conference. (Cat. No.01CH37237).

[104]  Ah-Hwee Tan,et al.  Modelling situation awareness for Context-aware Decision Support , 2009, Expert Syst. Appl..

[105]  James A. Hendler,et al.  Owl web ontology language 1 , 2002 .

[106]  Clive Roberts,et al.  Distributed quantitative and qualitative fault diagnosis: railway junction case study , 2002 .

[107]  Peter F. Patel-Schneider,et al.  OWL 2 Web Ontology Language , 2009 .

[108]  Jaime Campos,et al.  Development in the application of ICT in condition monitoring and maintenance , 2009, Comput. Ind..

[109]  Tran Cao Son,et al.  Semantic Web Services , 2001, IEEE Intell. Syst..

[110]  Ian Horrocks,et al.  DL Reasoner vs. First-Order Prover , 2003, Description Logics.

[111]  Balakrishnan Chandrasekaran,et al.  What are ontologies, and why do we need them? , 1999, IEEE Intell. Syst..

[112]  Mieczyslaw M. Kokar,et al.  Use Cases for Ontologies in Information Fusion , 2006 .

[113]  Shi-Ming Huang,et al.  The impact and implementation of XML on business-to-business commerce , 2002, Comput. Stand. Interfaces.

[114]  Jan L. Top,et al.  Engineering ontologies , 1997, Int. J. Hum. Comput. Stud..

[115]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[116]  Martin Dzbor,et al.  Knowledge management in a distributed organisation , 2000, Advanced Network Enterprises.

[117]  Henrik Eriksson,et al.  The evolution of Protégé: an environment for knowledge-based systems development , 2003, Int. J. Hum. Comput. Stud..

[118]  J. Carroll,et al.  Jena: implementing the semantic web recommendations , 2004, WWW Alt. '04.

[119]  Ahmed A. Rafea,et al.  Diagnostic expert system using non-monotonic reasoning , 2002, Expert Syst. Appl..

[120]  Ian Horrocks,et al.  Description Logics , 2008, Handbook of Knowledge Representation.

[121]  Pavel Klinov Pronto: A Non-monotonic Probabilistic Description Logic Reasoner , 2008, ESWC.

[122]  Efraim Turban,et al.  Integrating knowledge management into enterprise environments for the next generation decision support , 2002, Decis. Support Syst..

[123]  Ian Horrocks,et al.  Enabling knowledge representation on the Web by extending RDF Schema , 2002, Comput. Networks.

[124]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[125]  Michael Goul,et al.  Distributing decision support systems on the WWW: the verification of a DSS metadata model , 2002, Decis. Support Syst..

[126]  H. Chertkow,et al.  Semantic memory , 2002, Current neurology and neuroscience reports.

[127]  LAKS V.S. LAKSHMANAN,et al.  Logic and Algebraic Languages for Interoperability in Multidatabase Systems , 1997, J. Log. Program..

[128]  Nancy Ide,et al.  What Does Interoperability Mean , Anyway ? Toward an Operational Definition of Interoperability for Language Technology , 2010 .

[129]  Mieczyslaw M. Kokar,et al.  Consistency Checking of Semantic Web Ontologies , 2002, SEMWEB.

[130]  Alan L. Rector,et al.  Modularisation of domain ontologies implemented in description logics and related formalisms including OWL , 2003, K-CAP '03.

[131]  Michael Holm Larsen,et al.  Distributed knowledge management based on product state models - the case of decision support in health care administration , 1987, Decis. Support Syst..

[132]  Aldo Gangemi,et al.  Ontology Design Patterns for Semantic Web Content , 2005, SEMWEB.

[133]  Weiru Liu,et al.  Measuring the Quality of Uncertain Information Using Possibilistic Logic , 2005, ECSQARU.

[134]  Debashis Saha,et al.  Networking Infrastructure for Pervasive Computing: Enabling Technologies and Systems , 2002 .

[135]  Nicola Guarino,et al.  Understanding and building, using ontologies , 1997, Int. J. Hum. Comput. Stud..

[136]  Matteo Cristani,et al.  A Survey on Ontology Creation Methodologies , 2005, Int. J. Semantic Web Inf. Syst..

[137]  Frank van Harmelen,et al.  Handbook of Knowledge Representation , 2008, Handbook of Knowledge Representation.

[138]  Felice Romano Predictive maintenance of railway subsystems using an Ontology based modelling approach , 2011 .

[139]  Ian Horrocks,et al.  Optimising Tableaux Decision Procedures For Description Logics , 1997 .