Tue Mar 13 15:50:43 2001: :mdean!-mdean@hh1114013.direcpc.com JOIN :#joint-committee Tue Mar 13 15:59:21 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com JOIN :#joint-committee Tue Mar 13 16:02:09 2001: :Ian!=horrocks@oaklands.demon.co.uk JOIN :#joint-committee Tue Mar 13 16:04:43 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com JOIN :#joint-committee Tue Mar 13 16:05:04 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net JOIN :#joint-committee Tue Mar 13 16:05:10 2001: :las!+las@208.171.201.137 JOIN :#joint-committee Tue Mar 13 16:05:32 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :last week: http://www.daml.org/committee/minutes/2001-03-06.html Tue Mar 13 16:05:33 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil JOIN :#joint-committee Tue Mar 13 16:05:39 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :a link to http://www.daml.org/committee/ would be nice; Tue Mar 13 16:05:49 2001: :stefan!+stefan@Stefan.Stanford.EDU JOIN :#joint-committee Tue Mar 13 16:05:55 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :and a pointer from the group home page to this channel would be nice. Tue Mar 13 16:06:02 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :why do we need a password for this? sigh. Tue Mar 13 16:06:22 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Dan, I will add a link on the group home page to the www.daml.org/irc/ page. Tue Mar 13 16:06:44 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :Jim H. has joined the call. Tue Mar 13 16:07:16 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :thanks, Kelly. Tue Mar 13 16:09:59 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :be right back ... phone is dying :) Tue Mar 13 16:10:39 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :back ... Tue Mar 13 16:11:14 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :er pfps, the model-theoretic semantics is somehow normative? last I recall, it was an appendix, just like the axiomatic semantics. Tue Mar 13 16:14:04 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :ACTION regrets having brought it up. Tue Mar 13 16:14:12 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com PRIVMSG #joint-committee :i vote for semantics Tue Mar 13 16:15:43 2001: :las!+las@208.171.201.137 PRIVMSG #joint-committee :ACTION reviewed an earlier version of the model-theoretic semantics and wasn't wildly in love with some aspects of them. Tue Mar 13 16:17:47 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :ACTION really regrets having brought it up Tue Mar 13 16:18:24 2001: :las!+las@208.171.201.137 PRIVMSG #joint-committee :ACTION wonders whether anyone has a grad student lying around to work on this.... Tue Mar 13 16:18:49 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :ACTION is glad he's not a grad student Tue Mar 13 16:22:06 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :axiomatizing XML Schema in KIF would not be pointless, from a W3C angle; it would be quite valuable QA work. Tue Mar 13 16:23:31 2001: :las!+las@208.171.201.137 PRIVMSG #joint-committee :ACTION wonders idly which semantics PFPS thinks "might be right" and which he thinks "might be about right".... Tue Mar 13 16:23:40 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :;-) Tue Mar 13 16:26:46 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :"we have a wish-list for the tools" <- who's we? and where's the list? Tue Mar 13 16:26:59 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :https://www.daml.org/tools/ :) Tue Mar 13 16:27:31 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :actually, officially the wishlist is https://www.daml.org/tools/wishlist.html Tue Mar 13 16:28:30 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :Kelly - tools wishlist should not be on the https side - let's "unprivate" that... Tue Mar 13 16:28:58 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :My mistake, it is also on the public side :) sorry Tue Mar 13 16:30:07 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :ahh, I see it, thanks Tue Mar 13 16:40:19 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :note to self: JAH: when you go to W3C looking for "what's up with ontologies" you don't get much other than pointers to DAML. Tue Mar 13 16:40:41 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :https: sigh. Tue Mar 13 16:41:10 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :also public: good. Tue Mar 13 16:42:16 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :Decker: next RDF IG around the Standford SW workshop, 30-31July. Tue Mar 13 16:43:15 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :Decker has suggested that to RDF IG chair, anyway. Tue Mar 13 16:44:30 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :what were those again? rules, tagged stuff, implementations Tue Mar 13 16:45:46 2001: :las!+las@208.171.201.137 PRIVMSG #joint-committee :ACTION wonders what tools Ian is referring to....feel like I should know. Tue Mar 13 16:47:01 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com PRIVMSG #joint-committee :The tools are things like FaCT, RACE, and DLP, description logic reasoners. Tue Mar 13 16:48:00 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :I gather its primary use is to aid in ontology design; so it's intended to find ontology design bugs. Tue Mar 13 16:49:32 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :parka-db is an instance reasoner -- aimed totally at extending the individual stufff... Tue Mar 13 16:50:40 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :Jim, your new-york style is tolerable ftf, but it turns to total noise on the phone. Tue Mar 13 16:51:39 2001: :las!+las@208.171.201.137 PRIVMSG #joint-committee :ACTION is mostly wondering whether a "proof theory" ought to include reasoning about individuals. Also, some puzzlement about the concern that a class-to-class relation prover is sound but incomplete when there's no statements-about-individuals prover involved. Tue Mar 13 16:51:58 2001: :las!+las@208.171.201.137 PRIVMSG #joint-committee :ACTION feels insulted on jah's behalf. Tue Mar 13 16:52:46 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :Ian: deciding class subsumption in ontologies that refer to individuals is hard (i.e. maybe not decidable). e.g. "italians are people who live in italy" Tue Mar 13 16:52:58 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :there was some other archtypical example Ian gave; anybody catch it? Tue Mar 13 16:55:48 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com PRIVMSG #joint-committee :The other example consists of creating an object that is related to by every class via some property, and then putting a restriction on that object (the spy point) that limits the number of other objects related to the spy point via the inverse of this property. This results in a maximum cardinality for the universe. Tue Mar 13 16:57:21 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :thx. Tue Mar 13 17:02:09 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Have to log off now ... until next week *waves* Tue Mar 13 17:02:22 2001: :las!+las@208.171.201.137 PRIVMSG #joint-committee :ACTION needs to go, too.... Tue Mar 13 17:02:26 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com QUIT : Tue Mar 13 17:03:52 2001: :las!+las@208.171.201.137 PRIVMSG #joint-committee :ACTION waves goodbye.... Tue Mar 13 17:06:05 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :Examples - Getting into RDF & Semantic Web Tue Mar 13 17:06:05 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :using N3 http://www.w3.org/2000/10/swap/Examples Tue Mar 13 17:15:36 2001: :stefan!+stefan@Stefan.Stanford.EDU PRIVMSG #joint-committee :Some other input for the rules discussion: Tue Mar 13 17:15:39 2001: :stefan!+stefan@Stefan.Stanford.EDU PRIVMSG #joint-committee :http://www-db.stanford.edu/%7Estefan/2001/02/rdfinterest/ Tue Mar 13 17:15:57 2001: :stefan!+stefan@Stefan.Stanford.EDU PRIVMSG #joint-committee :The language specifically supports inferences with different RDF models Tue Mar 13 17:16:00 2001: :stefan!+stefan@Stefan.Stanford.EDU PRIVMSG #joint-committee :and semantics Tue Mar 13 17:16:29 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :the source code is pointed to from http://www.w3.org/2000/10/swap/ Tue Mar 13 17:17:01 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :in particular, http://www.w3.org/2000/10/swap/cwm.py Tue Mar 13 17:19:07 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :mike d - the rdfig chat is forward.openprojects.net #rdfig -- with rdfig.xmlhack.com Tue Mar 13 17:19:23 2001: :Ian!=horrocks@oaklands.demon.co.uk QUIT :[x]chat Tue Mar 13 17:20:51 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :i.e. irc://irc.openprojects.net/rdfig and http://rdfig.xmlhack.com/ Tue Mar 13 17:21:07 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :remember: the web is more than just HTTP; IRC channels are resources too. Tue Mar 13 17:28:00 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :yes, DanC you are right - but my browser bards at irc:// Tue Mar 13 17:28:16 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PART #joint-committee :jah-darpa Tue Mar 13 17:41:58 2001: :las!+las@208.171.201.137 QUIT :Ping timeout Tue Mar 13 17:50:14 2001: :las!+las@208.171.201.137 JOIN :#joint-committee Tue Mar 13 17:52:09 2001: :stefan!+stefan@Stefan.Stanford.EDU QUIT :Ping timeout Tue Mar 13 17:56:11 2001: :las!+las@208.171.201.137 QUIT :Ping timeout Tue Mar 13 17:59:08 2001: :las!+las@208.171.201.137 JOIN :#joint-committee Tue Mar 13 18:35:10 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PART #joint-committee :DanC Tue Mar 13 20:28:59 2001: :mdean!-mdean@hh1114013.direcpc.com QUIT :Ping timeout Tue Mar 13 21:59:35 2001: :las1!+las@208.171.201.137 JOIN :#joint-committee Tue Mar 13 22:00:38 2001: :las!+las@208.171.201.137 QUIT :No route to host Tue Mar 13 22:18:19 2001: :las!+las@208.171.201.137 JOIN :#joint-committee Tue Mar 13 22:19:35 2001: :las1!+las@208.171.201.137 QUIT :No route to host Wed Mar 14 07:41:37 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com PART #joint-committee :pfps