1. Triples can go away (subgraph lemma)
2. Nodes can lose their labels (instance lemma)
2. Nodes can get new (otherwise-unused) labels (Skolemization lemma)
And this should not allow additional inference.
Approach: use lots of owl:FunctionalProperties, and define a graph which is not owl-satisfiable as entailing everything. In practice that means that if you don't trust your well-formedness, you should query for an error first.
19 of 23 |