Unique name assumption
From Wikipedia, the free encyclopedia
The unique name assumption is a simplifying assumption made in some ontology languages and description logics. In logics with the unique name assumption, different names always refer to different entities in the world.
owl:sameAsis the OWL property that asserts that two given names or identifiers (e.g., URIs) refer to the same individual or entity.
owl:differentFromis the OWL property that asserts that two given names or identifiers (e.g., URIs) refer to different individuals or entities.
|This logic-related article is a stub. You can help Wikipedia by expanding it.|