Minutes of WebOnt Meeting August 22, 2002 9:00-10:30 am pacific time from Deborah McGuinness on 2002-08-22 (www-webont-wg@w3.org from August 2002) (original) (raw)

Minutes of the WebOnt meeting on August 22, 2002. Scribe: Deborah McGuinness

Agenda: http://lists.w3.org/Archives/Public/www-webont-wg/2002Aug/0153.html

Regrets: (as posted by Schreiber): Dean, Oberst, Wallace, Marchiori, ter Horst, Trastour, Yanosy

Irc Log: http://www.w3.org/2002/08/22-webont-irc#T17-31-46

Summary from IRC Log for attendees, scribe, action items and agreement below:

Attendees: (from irc log 16:15:57) John_Stanton, Libby, FrankvH, ??P15, Marwan_Sabbouh (muted), TimF, IanH, OraL, Guus, M_Smith, JeffH, EvanW, PeterPS, DebM, DanC, LarryE, Pat_Hayes, ??P13, 16:15:57 [Zakim] ... Jim_Hendler, Rudiger, +44.117.311.aacc, Buswell, Lynn_Stein

Scribe next week: Tim Finin

Action Items

ACTION: Pat will attempt to take abstract syntax, and Peter's MT and the mapping into RDF and will write a model theory in the Connolly style (i.e. as an extension to RDF MT) and see if he can identify the exact issues. Target deadline: three weeks (July 25). – change of due date to Aug 1, expected to be completed by Aug 19 DONE

ACTION Larry Eshelman to contribute example to how-to-do-it doc CONTINUED (with request from Eshelman for members to send part-whole examples to him and guus’ refinement of the request to send to the group).

ACTION (Raphael): will make a large ontology available to test readers. DONE

ACTION: Hendler produce test for issue 4.2 CONTINUED

ACTION: Dan C. to work with Pat H to reconcile the issues of missing discussion of model theory in the log DONE

ACTION: Jeremy Carroll to remove .rdf suffixes CONTINUED

ACTION: Chairs to forward hotel info for f2f4 to WebOnt DONE

ACTION: Chairs to determine location 5th ftf and inform group DONE (with discussion including some disagreement; discussion stopped when appeal out of telecom proposed).

ACTION: Guus to put together an example from his wine stuff - small part of ontology that contains this kind of region/PartOf example - for walkthru document CONTINUED

ACTION: Deb to take a shot at writing up the closed world example CONTINUED

ACTION: Guus to update UML document to reflect new Owl Lite CONTINUED (with take 2 weeks)

ACTION: JimH to inform SW-Cg of (very provisional, likely to slip) dependency WebOnt is taking on re: OMG interaction DONE

ACTION: Chairs to find an editor or process to produce the RDF/RDFS/OWL Lite/OWL comparison/discussion document. JimH to inform SW-CG this is being considered. CONTINUED

Discussion concerning F2F meeting discussion and Model Theory discussion please see the IRC log

ACTION: Hayes will do a revision of his model theory document that addresses major points raised in the teleconference by Monday.

AGREEMENT: 2 week discussion period on the model theory

ACTION – Peter Patel-Schneider will do a revision of his model theory that clarifies the relationship between his MT and RDFS and he will attempt to make this relationship non-trivial

Meeting adjourned after the action for patel-schneider (scribe should have noted this in log at approximately 17:29:40).

IRC log from: http://www.w3.org/2002/08/22-webont-irc#T17-31-46 Cut and paste below for completeness:

IRC log of webont on 2002-08-22 Timestamps are in UTC. 15:40:10 [RRSAgent] RRSAgent has joined #webont 15:40:15 [Zakim] Zakim has joined #webont 15:40:19 [DanCon] Zakim, this will be WebO 15:40:20 [Zakim] ok, DanCon 15:53:18 [DanConn] DanConn has joined #webont 15:54:21 [libby] libby has joined #webont 15:58:44 [schreiber] schreiber has joined #webont 15:59:03 [Zakim] SW_WebOnt()12:00PM has now started 15:59:09 [Zakim] +John_Stanton 16:00:28 [DanCon] DanCon has joined #webont 16:00:30 [Zakim] +??P13 16:00:43 [Zakim] +??P14 16:00:51 [DanC] Zakim, who's on the phone? 16:00:53 [Zakim] On the phone I see John_Stanton, ??P13, ??P14 16:00:53 [Zakim] +??P15 16:00:54 [Zakim] +??P16 16:00:59 [Zakim] +Marwan_Sabbouh 16:01:04 [libby] I think I'm ??P14 16:01:05 [schreiber] regrets: Dean, Oberst, Wallace, Marchiori, ter Horst, Trastour, Yanosy 16:01:08 [Zakim]

16:28:04 [dlm] Dan's MT 16:28:04 [dlm] http://lists.w3.org/Archives/Public/www-webont-wg/2002Jun/0208.html 16:28:08 [DanCon] Zakim, is pat here? 16:28:10 [Zakim] probably, DanCon; Pat_Hayes arrived 22 minutes ago 16:29:23 [dlm] pat - pfps's model theory for abstract syntax 16:29:33 [dlm] rendering of abstract syntax into rdf 16:30:01 [dlm] as input 16:30:13 [dlm] did a transliteration of semantic conditions from pfps's model theory 16:30:23 [dlm] and stated as structural interpretation 16:30:41 [dlm] showed one could construct and rdf interpretation that was a structural interpretation 16:31:21 [dlm] construction of rdf interpretation for owl has 2 stages 16:31:25 [dlm] pfps model theory 16:31:40 [dlm] move the interpretation over to rdf 16:31:46 [dlm] assigns interpretations to subgraphs 16:31:53 [dlm] that may not be an rdfs interpretation 16:31:59 [dlm] need to assign truth values 16:32:19 [dlm] could be uniformly extended to an rdfs interpretation that comes out with the same truth values 16:32:31 [dlm] there is an rdfs interpretation that satisfies the owl model theory 16:32:39 [dlm] there is a "devious trick" 16:32:51 [dlm] extension mapping refers to the notion of validity of the first kind of model 16:33:08 [dlm] for more details refer to pats document 16:34:44 [dlm] questions - pfps - claims pats claims are false 16:35:07 [dlm] pfps has examples of entailments valid in one and not the other 16:35:26 [DanCon] Peter's point seems well made, to me. 16:36:15 [dlm] horrocks - can have an example of one thing in domain of discourse in owl and claim not true in pat's 16:37:16 [dlm] hayes - semantics for rdfs graphs and follows rdfs rules 16:37:25 [dlm] classes can exist that are not owl:class 16:38:13 [dlm] all things in IR will be larger than in one for OWL, but this is irrelevent 16:38:36 [dlm] hayes not not reproduce all aspects of pfps's model theory 16:39:14 [dlm] clarification - hendler - key differences between hayes and dan's view 16:39:22 [DanCon] Zakim, who's talking? 16:39:33 [Zakim] DanCon, listening for 10 seconds I heard sound from the following: +44.117.311.aacc (28%), ??P13 (9%), Pat_Hayes (89%) 16:39:38 [dlm] should be dan/jeremy view 16:40:11 [Zakim]

-- Deborah L. McGuinness Knowledge Systems Laboratory Gates Computer Science Building, 2A Room 241 Stanford University, Stanford, CA 94305-9020 email: dlm@ksl.stanford.edu URL: http://ksl.stanford.edu/people/dlm/index.html (voice) 650 723 9770 (stanford fax) 650 725 5850 (computer fax) 801 705 0941

Received on Thursday, 22 August 2002 17:46:10 UTC