Does Pellet support closed world reasoning?
Some forms of closed world can be encoded in an OWL ontology by explicitly limiting the universe to the known individuals, e.g. setting owl:Thing equivalent to an enumeration of all the known individuals (using owl:oneOf). The extension of a class can also be closed by setting it equivalent to the enumeration of all members. A similar thing can be done for property assertions. There’s an experimental implementation of ALCK (ALC + the K operator). There are two ways of using K right now: either restrictedly in the TBox, in the form of an epistemic rule; or in a query, where you can use K arbitrarily on classes and properties. More details are available. This implementation is in a preliminary state and not heavily tested. Let us know about bugs or problems by mailing the “Pellet list”mailto:pellet-users@lists.owldl.com.
