There is no direct OWL/DAML+OIL constructor for the notion of closing a role on an individual, closing off information about an individual, or reasoning using the closed world assumption.
The problem is given a particular individual, I, and a particular property, P, state that there will be no more values added to the property P on the individual I. Use a three step process as the solution.
Given the inviduals Deborah and Panda, the property hasPet, and the relationship that Deborah has a pet named Panda, close the hasPet property on Deborah. First retrieve the values for the hasPet property on Deborah. Count the set of elements that contains the single indivual named Panda. Assert a max cardinality restriction of 1 on the hasPet property for Deborah. The hasPet property is now closed on the individual Deborah and later if we add a relationship that Deborah also has a pet named Scarlet (given that Scarlet is distinct from Panda), an OWL or DAML+OIL reasoner will identify that a conflict has occured.
Other examples of modeling issues and solutions in a language similar
to DAML+OIL are available in:
Ronald J. Brachman , Deborah L. McGuinness , Peter F. Patel-Schneider , Lori Alperin Resnick , and Alex Borgida. ``Living with CLASSIC: When and How to Use a KL-ONE-Like Language,'' in John Sowa, ed., Principles of Semantic Networks: Explorations in the representation of knowledge , Morgan-Kaufmann: San Mateo, California, 1991, pages 401--456. http://www.ksl.stanford.edu/people/dlm/papers/living-with-classic-abstract.html
The following people have contributed to this list of modeling issues and solutions:
Last Update: November 8, 2001