ontology-summit
[Top] [All Lists]

Re: [ontology-summit] SysML as a Model Benchmark Challenge?

To: Ontology Summit 2012 discussion <ontology-summit@xxxxxxxxxxxxxxxx>
From: k Goodier <kgoodier@xxxxxxxxxxx>
Date: Thu, 3 May 2012 08:45:57 -0400
Message-id: <FDD717C8-C87A-4FE2-9064-99113561B367@xxxxxxxxxxx>
You should review the history behind the NIST - Mitre sponsored standard for Common Event _expression_ (CEE). At one time it included just such an ontology. 

On May 3, 2012, at 4:44 AM, David Price <dprice@xxxxxxxxxxxxxxx> wrote:

On 3 May 2012, at 06:33, Jack Ring wrote:

Henson, Will anyone be doing this with SysML?


Hi Jack/Henson,

WRT an ontology for SysML, a bit of work on SE/SysML as OWL is included in the NIST investigation I'm doing. Not sufficient time for a full treatment of SysML (assume 2-3 weeks effort), however I could use advice on a reasonable and interesting subset. Thoughts?

Cheers,
David

P.S. Rather than hijack the marriage discussion I changed the Subject in my reply.

UK +44 7788 561308
US +1 336 283 0606



On May 2, 2012, at 1:24 PM, henson graves wrote:

The first challenge problem that I had in mind is how to represent one or more marriages in one’s favorite modeling language or logic.  The concept of interest for the first challenge is what someone called marriage as a situation which has a husband and wife which are in a spousal relationship.  I would expect to look at some of the other aspects later. Maybe I missed something, but I have yet to see anyone actually try to give FOL axioms.
 
The kind of modeling/logic representation that I am looking for would have other models in the sense of logic which are not related to marriage. For the challenge purpose one could replace Marriage with your favorite diatomic molecules. Here a diatomic molecule is a molecule composed only of two atoms which are bonded together. The bonding relationship is analogous to the spousal relationship.
 
The reason that I at least am interested in this example is that sorting out how it is best done goes a long way to deal with what Cory calls composite structures – which are common in many domains.
 
 
There are lots of further challenges planned.
 
 
I you have anything to offer in the way of a model or axioms please send it to the model challenge mailing list.
 
 
 
Henson

_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/   
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/  
Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
Community Files: http://ontolog.cim3.net/file/work/OntologySummit2012/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2012  
Community Portal: http://ontolog.cim3.net/wiki/ 


_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/   
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/  
Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
Community Files: http://ontolog.cim3.net/file/work/OntologySummit2012/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2012  
Community Portal: http://ontolog.cim3.net/wiki/


_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/   
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/  
Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
Community Files: http://ontolog.cim3.net/file/work/OntologySummit2012/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2012  
Community Portal: http://ontolog.cim3.net/wiki/     (01)
<Prev in Thread] Current Thread [Next in Thread>