I have not been able to follow this in detail. Is this exercise intended to
help illustrate federation?
If so, I wonder why marriage is considered federation rather than fusion.
No wonder few engineers are ever asked for a second honeymoon. ;-) (01)
On May 4, 2012, at 9:29 AM, Cory Casanave wrote: (02)
> Doug,
> That was not actually the intent - the intent was to create a model of
>marriage for federation that included the UE and other definitions. The EU
>definition is a subtype of the generic definition (which just asserts a set of
>spouses). Note then Christian Marriage which imposes more constraints.
> -Cory
>
>> -----Original Message-----
>> From: ontology-summit-bounces@xxxxxxxxxxxxxxxx [mailto:ontology-summit-
>> bounces@xxxxxxxxxxxxxxxx] On Behalf Of doug foxvog
>> Sent: Thursday, May 03, 2012 4:23 PM
>> To: Ontology Summit 2012 discussion
>> Subject: Re: [ontology-summit] First Model Bench Challenge
>>
>> On Thu, May 3, 2012 16:13, Wartik, Steven P \"Steve\" wrote:
>>> That's up to you. What's your use case?
>>
>>> You can make this as complicated as you like, but let's remember that
>>> the original challenge was to define marriage according to the EU.
>>
>> In that case we need a document stating the EU definition of marriage.
>>
>> It should be simple enough to create an ontology to fit the specification.
>>
>>> ... If that's too
>>> broad, I personally will settle for a definition of marriage in Monaco.
>>
>> FWIW, Monaco is not a member of the EU, so that does not necessarily fit the
>> bill.
>>
>> -- doug f
>>
>>> Isn't it John Sowa's paper on formal logic fallacies that says it's
>>> always best to start with a simple problem? Let's make the problem as
>>> simple as we need to in order to get something we agree on.
>>>
>>> From: ontology-summit-bounces@xxxxxxxxxxxxxxxx
>>> [mailto:ontology-summit-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Jack
>>> Ring
>>> Sent: Thursday, May 03, 2012 2:46 PM
>>> To: Ontology Summit 2012 discussion
>>> Subject: Re: [ontology-summit] First Model Bench Challenge
>>>
>>>
>>> The issue is: what does marriage signify? Government? Church? Mutual
>>> commitment? What?
>>> On May 2, 2012 1:53 PM, "Wartik, Steven P "Steve
>>> <swartik@xxxxxxx<mailto:swartik@xxxxxxx>> wrote:
>>> I wouldn't say it's unclear. It's governed by law, right? If you live
>>> together for some number of years, you are entitled to have the state
>>> recognize you as married. The date and time may not be as precise as
>>> if you have a wedding ceremony but can nevertheless be established.
>>> (Okay, I'm not a lawyer, and that's probably not the exact legal
>>> definition.)
>>>
>>> -----Original Message-----
>>> From:
>>> ontology-summit-bounces@xxxxxxxxxxxxxxxx<mailto:ontology-summit-
>> bounce
>>> s@xxxxxxxxxxxxxxxx>
>>> [mailto:ontology-summit-bounces@xxxxxxxxxxxxxxxx<mailto:ontology-
>> summi
>>> t-bounces@xxxxxxxxxxxxxxxx>]
>>> On Behalf Of doug foxvog
>>> Sent: Tuesday, May 01, 2012 12:46 AM
>>> To: Jack Ring
>>> Cc: Ontology Summit 2012 discussion
>>> Subject: Re: [ontology-summit] First Model Bench Challenge
>>>
>>> On Mon, April 30, 2012 20:44, Jack Ring wrote:
>>>
>>>> Marriage is a situation in which a couple BECOMES married.")
>>>
>>> That situation is the WeddingCeremony in the normal case. In the case
>>> of a common-law marriage, the start of the situation is unclear.
>>>
>>> -- doug foxvog
>>>
>>>> On Apr 30, 2012, at 1:39 PM, doug foxvog wrote:
>>>
>>>>> Marriage is a situation in which a couple is married.")
>>>
>>>
>>>
>>>
>>>
>> _________________________________________________________________
>>> 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<mailto:ontology-summit-l
>>> eave@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<mailto:ontology-summit-l
>>> eave@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/
>
> _________________________________________________________________
> 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/ (03)
_________________________________________________________________
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/ (04)
|