420 likes | 550 Views
Jakob Beetz, Bauke de Vries, Jos van Leeuwen Design Systems group TU/Eindhoven. Distributed Collaboration in the Context of the Semantic Web Presentation for the 8 th DDSS conference, Heeze. Overview . Motivation Overall system architecture DL-based BIM
E N D
Jakob Beetz, Bauke de Vries, Jos van Leeuwen Design Systems group TU/Eindhoven • Distributed Collaboration in the Context of the Semantic Web Presentation for the 8th DDSS conference, Heeze
Overview • Motivation • Overall system architecture • DL-based BIM • Query and partial model extraction • Reasoning / inference • Discussion & Outlook
Traditional Working Methods • Traditional CA(A)D data is • Non-deterministic and ambiguous • Episodic • Highly dynamic • Continuous • Does not contain machine readable knowledge
Central Building Model • Central Building Model • Founded on central databases • No specification for interaction • Assumes completeness • Appropriate for smaller projects?
Motivation • Develop semantically enhanced web services, assist Grid computing • Profit from large set of research, methods and tools developed in other domains • Use knowledge representation tools for modeling • Facilitate distribution of information across networks
Topological inference task example IfcRelSpaceBoundary (as IfcConnectionSurfaceGeometry) ??? IfcSpace #949= IFCSPACE(‘guid1',#13,'1',$,$,#947,#939, 'big_room',.ELEMENT.,.INTERNAL.,$); IfcWallStandardCase #97= IFCWALLSTANDARDCASE(‘fooGuid',#13, 'Wand-035',$,$,#95,#153,$);
Different Knowledge Domains in AEC/FM project • ERM • Semantic Networks • Frame based systems • DL based systems
IfcOWL as KRS • KRS = Terminology (TBox ) + Assertational Knowledge (ABox) • K = (T,A)
Basic AL constructs ALAttribute Language Atomic concepts C,D Atomic Roles R,S Terminological Axioms: Equality CºD (used to describe definitions) Inclusion / Supsumption CmD (used to describe IS-A realtions)
Basic AL constructs Terminological Axioms (cntd.): Intersection C *D Woman º Person *Female Existential quantification $R.C Mother º Woman * $hasChild.Person Value Restriction "R.C MotherOfDaughtersOnly º Woman *"hasChild.(Person *Female)
Semantic Web Stack Semantic Web Structure according to Tim Berners-Lee
RDF-based representations Subject Predicate Object Ora Lassila is the creator of the resource http://www.w3.org/Home/Lassila. N3 noation: “Ora Lassila” isCreatorOf w3.org/Home/Lassila <?xml version="1.0"?> <rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:s="http://description.org/schema/"> <rdf:Description about="http://www.w3.org/Home/Lassila"> <s:Creator> Ora Lassila </s:Creator> </rdf:Description> </rdf:RDF>
IfcOWL Please find the Technical specification details of ifcOWL in Gehre, A. Katranuschkov, P. Wix, J. and Beetz, J. (2006). InteliGrid Deliverable D31: Ontology Specification, The InteliGrid Consortium, c/o University of Ljubljana, www.InteliGrid.com.
Inter-Agent Communication Layers Communication Layers according to Laamanen & Helin
Simple Example of DL notation of ER model AL– representation of an IFC Door DoormBuildingElement* "OverallHeight.PositiveLength * "OverallWidth.PositiveLength
SWRL implementation of Rules fatherOf(?x,?y) ^ brotherOf(?x,?z) -> uncleOf(?z,?y)
SWRL implementation of Rules ENTITY door; SUBTYPE OF (buildingPart) height: REAL; WHERE WR : height > 0; END_ENTITY; door(?x) ^ hasHeight(?x,?height) ^ swrlb:greaterThan(?height, 0) -> WR1(?x,true)
Thank you Jakob Beetz Design Systems group TU/Eindhoven • Questions, suggestions, comments very welcome
Main differences to EXPRESS • Built-in reasoning capabilities • Built-in functions for creation and reference of distributed data • Open world vs. closed world
IFC concept structure • ISO 10303-p28 xml bindings • EXPRESS (ISO 10303-11)
Available Taxonomies and Ontologies • IFC 2.2x (XML Schema) • Stabu Lexicon (XML Schema) • eCOGNOS (DAML-OIL) • WordNet (OWL)
Semantic Web Layers RDF Schema example from Richard Vdovjak