Hello,
Here is a proposal to resolve ISSUE-118. Basically, we'd make the semantics of anonymous individuals be true existential semantics;
furthermore, to obtain decidability, we'd need to restrict at the syntactic level how anonymous individuals are to be used. More
concretely, we'd need to perform the following changes:
1. In the Semantics document, we'd need to extend the notion of satisfiability of axioms in an interpretation to respect an
assignment of anonymous individuals to domain elements.
2. In the Syntax document, we'd extend the General Restrictions on Axioms along these lines:
An ontology O is OK if
- no anonymous individual occurs in an axiom of type SameIndividual, DifferentIndividuals, or NegativePropertyAssertion, and
- a forest F over the anonymous individuals in O exists such that, in each property assertion of the form PropertyAssertion( P ai1
ai2 ) where both ai1 and ai2 are anonymous, either ai1 is a child of ai2 in F or vice versa.
Please let me know how you feel about this.
Regards,
Boris