danbri: SWI-Prolog is the Prolog engine used in the Mozilla / Netscape 6 Enabling Inference prototype by Geoff Chapel.
danbri: "Contexts have historically been either ignored completely or else treated as black boxes, as indivisible atoms."
danbri: "About a decade ago, as part of our work on building the large Cyc(r) knowledge base of human common sense and common knowledge, our group began to study and harness the internal structure of that "atom". Each context was said to have assumptions and content; there was a theory of importing assertions across contexts; contexts were fully reified first-class terms in the CycL representation language; they were partially ordered by specialization t
danbri: "...to control visibility and access to content; and so on. That 1989-91 work turned out to be inadequate: it was too expensive to do nontrivial lifting (importing); to explicate the assumptions of each context; and to place each assertion/query into the proper context."
danbri: "About a decade ago, as part of our work on building the large Cyc(r) knowledge base of human common sense and common knowledge, our group began to study and harness the internal structure of that "atom". Each context was said to have assumptions and content; there was a theory of importing assertions across contexts; contexts were fully reified first-class terms in the CycL representation language; they were partially ordered by specialization t
danbri: "...to control visibility and access to content; and so on. That 1989-91 work turned out to be inadequate: it was too expensive to do nontrivial lifting (importing); to explicate the assumptions of each context; and to place each assertion/query into the proper context."
edd: W3C Staff Comment
edd: "The WSDL submission appears to contribute to this [Semantic Web] vision by enabling use of Web services by computers."
edd: It is interesting that the staff comment didn't mention RDF at all.
tim: Really good article on why it should be in RDF
edd: "The WSDL submission appears to contribute to this [Semantic Web] vision by enabling use of Web services by computers."
edd: It is interesting that the staff comment didn't mention RDF at all.
tim: Really good article on why it should be in RDF
danbri: "
danbri: We mentioned CORBA, Harvest, Aurora (Mozilla RDF :) and HTTP-NG. Kind of dates it!
danbri: WSE is kind of link an implementation of this, except taking a less decentralist approach to running the final service. Which is smart IMHO.
danbri: We mentioned CORBA, Harvest, Aurora (Mozilla RDF :) and HTTP-NG. Kind of dates it!
danbri: WSE is kind of link an implementation of this, except taking a less decentralist approach to running the final service. Which is smart IMHO.
DanC: dc:author "Soiffer"
edd: Design of a User Interface for Computer Algebra Systems
DanC: dc:description "... Data is presented that show
DanC: TreesVsGraphs
DanC: CSD-91-626
edd: Design of a User Interface for Computer Algebra Systems
DanC: dc:description "... Data is presented that show
DanC: TreesVsGraphs
DanC: CSD-91-626
AaronSw: this really should be a permanent fixture on this page
edd: It is now.
AaronSw: thanks edd!
edd: It is now.
AaronSw: thanks edd!
SeanP: Expresses some interesting implementation characteristics for the Semantic Web
SeanP: The most neglected of which is currently (IMO) "Tangible utility"
SeanP: The most neglected of which is currently (IMO) "Tangible utility"
DanC: schemes.n3 gave me an idea: a counter-point to this urn scheme: an RDF model of the IETF publication process that grounds RFCs in URI space by way of the mid: URI on the message to ietf-announce that announced the RFC.
DanC: R. Moats August 1999
DanC: R. Moats August 1999
DanC: gave me a chance to think about event-based modelling (e.g. INDECS) of social protocols: publishing, patents, etc
DanC: I tried to make the point about orthogonality of URI schemes (e.g. doi:, urn:) from social contracts, but I don't think I quite did it.
DanC: I tried to make the point about orthogonality of URI schemes (e.g. doi:, urn:) from social contracts, but I don't think I quite did it.
DanC: including Protocol - Smotocol
DanC: and mail user agents (cf protocol shmotocol)
AaronSw: Send her an email saying that you're interested
AaronSw: She's worried that there's not enough interest to start something
AaronSw: more information in her message to the list
AaronSw: She's worried that there's not enough interest to start something
AaronSw: more information in her message to the list
SeanP: Incorporating the changes suggested by DanC
SeanP: Doesn't quite parse on CWM yet... but is a vast imporvement over last nights attempt
SeanP: Doesn't quite parse on CWM yet... but is a vast imporvement over last nights attempt
dajobe: Orchard by Ken MacLeod
AaronSw: interesting point: "The authority which allocates the URI is the authority which determines wo what it refers:"
AaronSw: this is a key RDF point within the "anyone can say anything about anything" ideal
AaronSw: if I can determine what it refers to, can that be changed? it seems clearly so.