Facilitating distributed collaboration in the AEC/FM sector using Semantic Web Technologies

Classes In traditional software engineering, the notion of an 'abstract class' is used to model supporting structures that gather some attributes or functions that all children classes have in common but which itself cannot be instantiated. This however has no equivalent in DL and hence is not a language feature of OWL: For a simple hierarchy like C1 v C2 u C3 C2 v C4 u C5 C3 v C6 u C7 u C8 the concept or class C1 may only be called abstract if no individual In exists that is a member of the classes C2,C3 . . .C8, since C1 subsumes all these, and hence is instantiated if any of the subsumees is instantiated. For the purpose of generating software classes from the OWL model in a classic OOP or MDA environment, the indication that a class should never be instantiated directly (e.g. the IfcRoot class at the top of a big fraction of entity de nitions in the IFC model), can only be achieved indirectly: ˆ A semantically weak way would be to make an additional annotation to the class in question. ˆ Amore semantically rigid way is to subclass a meta class from owl:Class that has additional attributes like "abstract" and concrete . This however would instantly make the ontology OWL Full and hence That is: not every owl:Class in the resulting ifcOWL ontology stems from a an ENTITY counterpart.

[1]  Jérôme Euzenat,et al.  Towards a principled approach to semantic interoperability , 2001, OIS@IJCAI.

[2]  Deborah L. McGuinness,et al.  The Role of Frame-Based Representation on the Semantic Web , 2001 .

[3]  Kathryn Henderson The Political Career of a Prototype: Visual Representation in Design Engineering , 1995 .

[4]  Jakob Beetz,et al.  An Ontology Web Language Notation of the Industry Foundation Classes , 2005 .

[5]  David Poole,et al.  A Logical Framework for Default Reasoning , 1988, Artif. Intell..

[6]  G. M. Nijssen,et al.  Conceptual schema and relational database design - a fact oriented approach , 1989 .

[7]  Munindar P. Singh,et al.  Readings in agents , 1997 .

[8]  F. E. A Relational Model of Data Large Shared Data Banks , 2000 .

[9]  Bo-Christer Björk RATAS project - developing an infrastructure for computer-integrated construction , 1994 .

[10]  Kristen Nygaard,et al.  Some features of the SIMULA 67 language , 1968 .

[11]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[12]  Ronald J. Brachman,et al.  What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks , 1983, Computer.

[13]  Raimar J. Scherer,et al.  Managing long transactions in model server based collaboration , 2004 .

[14]  N. Stubbs,et al.  A smart instrument to evaluate roofing system performance in hurricanes , 1994, NAFIPS/IFIS/NASA '94. Proceedings of the First International Joint Conference of The North American Fuzzy Information Processing Society Biannual Conference. The Industrial Fuzzy Control and Intellige.

[15]  James A. Hendler,et al.  DAML+OIL: An Ontology Language for the Semantic Web , 2002, IEEE Intell. Syst..

[16]  Hector J. Levesque,et al.  Expressiveness and tractability in knowledge representation and reasoning 1 , 1987, Comput. Intell..

[17]  Idabc European Interoperability Framework for Pan-European eGovernment Services , 2004 .

[18]  Grigoris Antoniou,et al.  Nonmonotonic reasoning , 1997 .

[19]  Abdul Samad Kazi,et al.  KNOWLEDGE MANAGEMENT FOR THE CONSTRUCTION INDUSTRY: THE E-COGNOS PROJECT , 2002 .

[20]  Holger Knublauch,et al.  The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications , 2004, SEMWEB.

[21]  John F. Sowa,et al.  Knowledge representation: logical, philosophical, and computational foundations , 2000 .

[22]  Nicola Guarino,et al.  An Ontological Theory of Physical Objects , 2001 .

[23]  Ardeshir Mahdavi,et al.  SEMPER-II: an internet-based multi-domain building performance simulation environment for early design support , 2004 .

[24]  Stefan Decker,et al.  Creating Semantic Web Contents with Protégé-2000 , 2001, IEEE Intell. Syst..

[25]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[26]  Charlie Kindel,et al.  Distributed Component Object Model Protocol -- DCOM/1.0 , 1998 .

[27]  Franz Baader,et al.  An Overview of Tableau Algorithms for Description Logics , 2001, Stud Logica.

[28]  Francesco M. Donini,et al.  Decidable Reasoning in Terminological Knowledge Representation Systems , 1993, IJCAI.

[29]  P Katranuschkov,et al.  GENERALISED MODEL SUBSET DEFINITION SCHEMA , 2003 .

[30]  P Katranuschkov,et al.  Schema mapping and object matching: a STEP-based approach to engineering data management in open integrated environments , 1996 .

[31]  Frank van Harmelen,et al.  Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema , 2002, SEMWEB.

[32]  Werner Nutt,et al.  Basic Description Logics , 2003, Description Logic Handbook.

[33]  Dave Reynolds,et al.  Efficient RDF Storage and Retrieval in Jena2 , 2003, SWDB.

[34]  Adam Pease,et al.  IEEE standard upper ontology: a progress report , 2002, The Knowledge Engineering Review.

[35]  Ian Foster,et al.  The Grid 2 - Blueprint for a New Computing Infrastructure, Second Edition , 1998, The Grid 2, 2nd Edition.

[36]  Jan Rune Holmevik Compiling SIMULA: a historical study of technological genesis , 1994, IEEE Annals of the History of Computing.

[37]  Arthur C. Graesser,et al.  Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents , 1996, ATAL.

[38]  Douglas Herrmann,et al.  A Taxonomy of Part-Whole Relations , 1987, Cogn. Sci..

[39]  A Kiviniemi,et al.  Integration of Multiple Product Models: IFC Model Servers as a Potential Solution , 2005 .

[40]  Dave J. Beckett,et al.  The design and implementation of the redland RDF application framework , 2001, WWW '01.

[41]  Ian T. Foster,et al.  The anatomy of the grid: enabling scalable virtual organizations , 2001, Proceedings First IEEE/ACM International Symposium on Cluster Computing and the Grid.

[42]  Douglas A. Schenck,et al.  Information modeling: the EXPRESS way , 1994 .

[43]  Kathryn Henderson,et al.  On Line and On Paper: Visual Representations, Visual Culture, and Computer Graphics in Design Engineering , 1998 .

[44]  Lars Lundberg,et al.  Performance of SOAP in Web Service environment compared to CORBA , 2002, Ninth Asia-Pacific Software Engineering Conference, 2002..

[45]  Abbe Mowshowitz,et al.  Virtual organization , 1997, CACM.

[46]  Peter F. Patel-Schneider,et al.  OWL Web Ontology Language XML Presentation Syntax , 2003 .

[47]  Ivan E. Sutherland,et al.  Sketch pad a man-machine graphical communication system , 1964, DAC.

[48]  Brian McBride,et al.  Jena: A Semantic Web Toolkit , 2002, IEEE Internet Comput..

[49]  D. Bobrow,et al.  Representation and Understanding: Studies in Cognitive Science , 1975 .

[50]  Ziga Turk,et al.  Phenomenologial foundations of conceptual product modelling in architecture, engineering and construction , 2001, Artif. Intell. Eng..

[51]  Jeff Heflin,et al.  LUBM: A benchmark for OWL knowledge base systems , 2005, J. Web Semant..

[52]  Heiner Stuckenschmidt,et al.  Reasoning with Multi-version Ontologies: A Temporal Logic Approach , 2005, SEMWEB.

[53]  Gerhard Weiss,et al.  Multiagent systems: a modern approach to distributed artificial intelligence , 1999 .

[54]  Atanas Kiryakov,et al.  OWLIM - A Pragmatic Semantic Repository for OWL , 2005, WISE Workshops.

[55]  Mustafa Alshawi,et al.  An industry foundation classes Web-based collaborative construction computer environment: WISPER , 2000 .

[56]  Berthold Daum,et al.  System Architecture with XML , 2002 .

[57]  Mihaly Lenart,et al.  The Design of Building Parts by Using Knowledge Based Systems , 1992, IEA/AIE.

[58]  Ivan E. Sutherland,et al.  Sketchpad a Man-Machine Graphical Communication System , 1899, Outstanding Dissertations in the Computer Sciences.

[59]  Timothy W. Finin,et al.  Swoogle: a search and metadata engine for the semantic web , 2004, CIKM '04.

[60]  Jim Waldo Remote procedure calls and Java Remote Method Invocation , 1998, IEEE Concurr..

[61]  David Price,et al.  Applying Semantic Web Technology to the Life Cycle Support of Complex Engineering Assets , 2004, SEMWEB.

[62]  Shelley Powers,et al.  Practical RDF , 2003 .

[63]  Harold Belofsky Engineering Drawing-A Universal Language in Two Dialects , 1991 .

[64]  Bjork B-C,et al.  An information reference model for architecture, engineering, andconstruction , 1993 .

[65]  Benjamin N. Grosof Representing e-commerce rules via situated courteous logic programs in RuleML , 2004, Electron. Commer. Res. Appl..

[66]  Kristen Nygaard,et al.  SIMULA: an ALGOL-based simulation language , 1966, CACM.

[67]  Charles M. Eastman,et al.  Information models for use in product design: a comparison , 1994, Comput. Aided Des..

[68]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[69]  Ziga Turk On theoretical backgrounds of CAD , 1998, AI in Structural Engineering.

[70]  Yacine Rezgui,et al.  Web-based generic services for the construction virtual enterprises in the OSMOS project , 2001 .

[71]  Robin Drogemuller,et al.  Converting the Industry Foundation Classes to the Web Ontology Language , 2005, 2005 First International Conference on Semantics, Knowledge and Grid.

[72]  Ian Horrocks,et al.  Practical Reasoning for Expressive Description Logics , 1999, LPAR.

[73]  Clarence A. Ellis,et al.  Groupware: some issues and experiences , 1991, CACM.

[74]  Steve Vinoski,et al.  CORBA: integrating diverse applications within distributed heterogeneous environments , 1997, IEEE Commun. Mag..

[75]  Eugene S. Ferguson,et al.  Engineering and the Mind's Eye , 1994 .

[76]  Raphael Volz,et al.  A Comparison of RDF Query Languages , 2004, SEMWEB.

[77]  Peter P. Chen The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[78]  Ian Horrocks,et al.  OIL: An Ontology Infrastructure for the Semantic Web , 2001, IEEE Intell. Syst..

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

[80]  Raimar J. Scherer,et al.  An ontology framework to access IFC model data , 2003, J. Inf. Technol. Constr..

[81]  Y. Adachi Overview of partial model query language , 2003, ISPE CE.

[82]  Valery Soloviev,et al.  An overview of three commercial object-oriented database management systems: ONTOS, ObjectStore, and O2 , 1992, SGMD.

[83]  James A. Hendler,et al.  The semantic Web and its languages , 2000 .

[84]  Guillermo Ricardo Simari,et al.  Multiagent systems: a modern approach to distributed artificial intelligence , 2000 .

[85]  Vassilis Christophides,et al.  RQL: a declarative query language for RDF , 2002, WWW.

[86]  Charles L. Forgy,et al.  Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .

[87]  Arjohn Kampman,et al.  SeRQL: A Second Generation RDF Query Language , 2003 .

[88]  Charles M. Eastman,et al.  Out of Step , 1994, Comput. Aided Des..

[89]  Richard Matthews,et al.  Islands of automation , 1997 .

[90]  Kjeld Svidt,et al.  Semantic-Web Supported Knowledge Management System: An Approach to Enhance Collaborative Building Design , 2003 .

[91]  Ami Marowka,et al.  The GRID: Blueprint for a New Computing Infrastructure , 2000, Parallel Distributed Comput. Pract..

[92]  P Katranuschkov,et al.  Towards Semantic Interoperability in Virtual Organisations , 2005 .