[08:51] PeterYim: Hi Ken ... I guess we are waiting for Eric to "let us in"
[08:53] KenBaclawski: I tried to log in as leader, but it would not let me. I don't have the passcode.
[08:54] EricChan: I am in the conf now
[08:55] EricChan: sorry for being late
[08:55] EricChan: was caught in traffic
[09:03] KenBaclawski: The Ontology Summit ICOM ontology is http://www.ccs.neu.edu/home/kenb/OntologySummitICOM.gif
[09:03] PeterYim: about the hackathon project see: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2013_Hackathon_Clinics#nid3OBR
[09:06] EricChan: each ICOM entity is represented as a SemanticWiki page
[09:08] EricChan: each ICOM concept is represented by a category page, template page, and form page in semantic media wiki
[09:11] EricChan: template defines the properties of the category page or ICOM concept
[09:13] KenBaclawski: Here is the Space category page: http://ontolog-02.cim3.net/wiki/Category:Icom_core_Space
[09:13] EricChan: each ICOM property definition is represented by a property page in semantic media wiki, currently it supports name and type of property
[09:13] KenBaclawski: Here is the Space template: http://ontolog-02.cim3.net/wiki/Template:Icom_core_Space
[09:14] KenBaclawski: Here is the form for Space: http://ontolog-02.cim3.net/wiki/Form:Icom_core_Space
[09:16] KenBaclawski: Here is the element property of Space: http://ontolog-02.cim3.net/wiki/Property:Icom_core_element
[09:23] EricChan: Entity := Artifact
[09:23] EricChan: Artifact := Folder
[09:23] EricChan: Folder := Conference
[09:23] EricChan: SpaceItem := Folder
[09:23] EricChan: Space hasItem SpaceItem
[09:24] EricChan: therefore, Space hasItem Conference
[09:25] EricChan: Space hasElement SpaceItem
[09:25] EricChan: Space is a SpaceItem
[09:25] EricChan: Space is not a SpaceItem
[09:28] EricChan: SpaceItem := Space
[09:30] EricChan: please read hasItem as hasElement
[09:30] EricChan: Space hasElement Conference
[09:30] EricChan: what is not in ontology as yet is (Space hasElement Space)
[09:32] EricChan: Category hasSuperCategory Category
[09:32] EricChan: Category hasSubCategory Category
[09:32] EricChan: aSummit is a Category
[09:33] EricChan: aTrack is a Category
[09:34] EricChan: should be part of relationship
[09:34] EricChan: Space hasParent (Community or Space, i.e. Scope)
[09:35] EricChan: currently we have defined Scope hasParent Community
[09:35] EricChan: Scope := Space
[09:35] EricChan: therefore, we currently have Space hasParent Community
[09:36] EricChan: we need to override this with a new axiom: Space hasParent Scope
[09:36] EricChan: then you can declare SpaceItem := Space
[09:37] EricChan: need to introduce two axioms together (Space hasParent Scope) and (SpaceItem := Space)
[09:38] EricChan: this goes with the axiom (Space hasElement SpaceItem)
[09:42] KenBaclawski: The parent property has domain Entity (which is a superclass of Space) and has range (type) Parental (which is a superclass/mixin of Space).
[09:45] EricChan: (Space hasParent Space) and (Space hasElement Space)
[10:00] KenBaclawski: Adjourned at 1:00PM EDT.
|