1. All Presentation Material Copyright Eurostep Group AB ® Open Discussion on Industrial Data and the Semantic Web : Volume 2 David Price Seattle SC4, October 2004

2. ® All Presentation Material Copyright Eurostep Group AB Agenda 1.Brief summary of Bath meeting 2.Activities since Bath (that David knows about) –Structural mapping of EXPRESS to OWL for 233 subset Translator from SysML Assembly XMI to OWL individuals –Human modeling of 233 subset in OWL –Tutorial at NIST on “Information Architectures for Next Generation STEP” with one day on Semantic Web/OWL –Held planning workshop on ISO 15926/OWL/STEP 3.Related activities –OMG Ontology Definition Metamodel –ISO Standard for Common Logic 4.Next actions

3. ® All Presentation Material Copyright Eurostep Group AB 1. Bath Summary Reviewed OWL PLCS Reference Data approach –D. Price presenting paper on this at International Semantic Web Conference 2004 in November Discussion of “Structural EXPRESS->OWL” as possible approach to data exchange, publication Discussion on STEP and Semantic Web –Realization that Semantic Web and Knowledge-based Applications are not the same thing (Common Logic, PSL/KIF, etc.) Proposal for separate session in Seattle (Didn’t happen) –OMG has a Request for Information on Knowledge-Based Engineering out –Is ISO 15926/EPISTLE good approach for getting STEP to KBE world? Proposal for “Real work” in Seattle or interim workshop

4. ® All Presentation Material Copyright Eurostep Group AB 2. Activities Since Bath On Modular STEP direct to OWL –Report on John Deere/Eurostep project Review scope and chose schema Used exff EXPRESS->UML translator to present model Used exff EXPRESS->OWL translator for AP233 subset supporting SysML Assembly example Wrote translator from SysML XMI data to OWL individuals based on that ontology Presented issues/results at Bath SysEng seminar, as AP239 ballot comments on modules, at PLM conference See slides On STEP through ISO 15926 to OWL –Held planning workshop in September –See slidesSee slides

5. ® All Presentation Material Copyright Eurostep Group AB 3. Related Activities OMG Ontology Definition Metamodel –submitters produced interim draft in August ISO standard for Common Logic –working draft out for review

6. ® All Presentation Material Copyright Eurostep Group AB OMG Ontology Definition Metamodel –From the Usage Scenarios and Goals, interest in ontology comes from a wide variety of fields. –There is considerable existing development in a variety of representations. The ODM therefore includes several different metamodels: RDFS and OWL as called for in the RFP UML the Entity-Relationship (ER) model ISO standard process Topic Maps (TM)

7. ® All Presentation Material Copyright Eurostep Group AB OMG Ontology Definition Metamodel (2) OMG Ontology Definition Metamodel (continued) –none of these metamodels support a fully declarative first-order predicate calculus, ODM includes a metamodel for Simple Common Logic (SCL) for this purpose. –metamodels to be connected by mappings expressed in the OMG QVT (Query/View/Transform) –To avoid n-squared set of mappings defines weakly constrained –abstract formulation of Description Logic (DL), to be the target of bi-directional mappings from the other metamodels.

8. ® All Presentation Material Copyright Eurostep Group AB Current view of mappings ODM:MOF EXPRESS P25E3:MOF EXPRESS

9. ® All Presentation Material Copyright Eurostep Group AB UML vs. OWL

10. ® All Presentation Material Copyright Eurostep Group AB Description Logic

11. ® All Presentation Material Copyright Eurostep Group AB RDF Schema

12. ® All Presentation Material Copyright Eurostep Group AB OWL

13. ® All Presentation Material Copyright Eurostep Group AB Simple Common Logic

14. ® All Presentation Material Copyright Eurostep Group AB E-R

15. ® All Presentation Material Copyright Eurostep Group AB Topic Maps

16. ® All Presentation Material Copyright Eurostep Group AB EXPRESS ? Last week I emailed the ODM Submitters from –DSTC –Gentleware –IBM –Sandpiper Software asked if they would consider including EXPRESS if –“we” do all the work to develop the MOF model of EXPRESS –“we” do an open source implementation to support the OMG requirement for “implementation within 1 year of standard approval” –did not say who “we” was … Did not receive any response yet Concern : in Bath P25 meeting proposed Edition 3 being MOF of EXPRESS standardized in SC4 starting 1Q2005

17. ® All Presentation Material Copyright Eurostep Group AB Common Logic ISO Standard ISO 24707 Information technology — Common Logic (CL) – Framework for a family of logic- based languages ISO/IEC JTC 1/SC 32 N 1132 2004-06-07 ISO/WD 24707 ISO/JTC 1/SC 32/WG2 ANSI See slides

18. ® All Presentation Material Copyright Eurostep Group AB Next actions We did not complete all we hoped for testing STEP-to-Semantic Web approach –How do we make progress? Hold a separate session on logic languages as STEP implementation method?