[Top] [All Lists]

[model-challenge] more on marriage representation

To: "'Modeling Benchmark Challenge'" <model-challenge@xxxxxxxxxxxxxxxx>
From: henson graves <henson.graves@xxxxxxxxxxx>
Date: Sun, 6 May 2012 19:28:49 -0500
Message-id: <SNT106-DS146A8FF5423D1B5AF8414BE4130@xxxxxxx>

Here is a diagram similar to Cory’s which is intended to describe the pattern of marriage. A marriage has a single male and female as components which are in a spousal relatinship.

What other graphical conventions are needed to make this pattern precise and how could they be expressed?

How could the pattern be expressed as an axiom set in FOL or OWL or your favoriate logic?

If the diagram is translated as axioms in some logic one wants to guarantee that the structures which conform to the pattern are isomorphic, in this case have three individuals with the particular relationships. One wants to preclude that a husband in one marriage is not a husband in another marriage.

Needless to say one wants a solution which works for much more complex examples.




Message Archives: 
Subscribe: mailto:model-challenge-join@xxxxxxxxxxxxxxxx 
Shared Files: 
Wiki:    (01)
<Prev in Thread] Current Thread [Next in Thread>
  • [model-challenge] more on marriage representation, henson graves <=