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 (01)
> -----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/ (02)
_________________________________________________________________
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)
|