Classes where Equivalence can be asserted needs human-readable documentation #2

jonathanvajda · 2023-03-22T18:30:28Z

Many of the classes and data tagged in IAO-D-Acts (the original) are the same entities in this ontology. There needs to be clear documentation as for what is or is not picking out the same individuals. E.g., some deontic roles are equivalent, but some deontic act documents are not equivalent. I need to provide clear guidance why they are or are not equivalent, so that translation can be understood by humans.

jonathanvajda · 2023-04-07T21:18:43Z

Here are some notes I prepared, just to get this started:

return to:

credential role A role that inheres in a concretization of an identity document and is realized by an authentication process.

Equivalent class: to BFO_0000023[role] and (RO_0000054[realized in] some authentication) and (RO_0000052[characteristic of/inheres in] some (RO_0000053[characterized by/bearer of] some (RO_0000059[concretizes] some 'identity document')))

Moved: 'deontic declaration performer role' from subclass 'role' to subclass 'Deontic Role'

Theoretically obviated:

http://purl.obolibrary.org/obo/IAO_0020021

identity document A document that denotes some identity and is concretized by the bearer of some credential role. Amanda Hicks

document
and ('is about' some 'documented identity')
and ('is concretized as' some
('specifically dependent continuant'
and ('inheres in' some ('bearer of' some 'credential role'))))
and ('is concretized as' only
('specifically dependent continuant'
and ('inheres in' some ('bearer of' some 'credential role'))))

http://purl.obolibrary.org/obo/IAO_0020022

documented identity A documented identity is the aggregate of all data items about an entity. Notice that a documented identity is not itself a document since a document is intended to be understood as a whole and data items about an individual are usually scattered across different documents.

comment: is an aggregate of ICEs also an ICE? yes
Is part_of the appropriate relation to use for data items and documented identities?

Amanda Hicks

('has part' some 'information content entity')
and ( inverse ('is about') some 'identity document')
and ('has part' only 'information content entity')

SKIP: http://purl.obolibrary.org/obo/OMRSE_00000033 'aggregate of organizations'
EQUIV: http://www.ontologyrepository.com/CommonCoreOntologies/GroupOfOrganizations

SKIP: http://purl.obolibrary.org/obo/OMRSE_00000022 'collection of organisms'
(it is a defined class with no obvious use)

SKIP: http://purl.obolibrary.org/obo/OMRSE_00000023 'collection of humans'
EQUIV: http://www.ontologyrepository.com/CommonCoreOntologies/GroupOfPersons

SKIP: http://purl.obolibrary.org/obo/OBI_0100026 'organism'
(it has no obvious use)

SKIP: http://purl.obolibrary.org/obo/NCBITaxon_9606 'Homo sapiens'
EQUIV: http://www.ontologyrepository.com/CommonCoreOntologies/Person

SKIP: http://purl.obolibrary.org/obo/OBI_0000245 'organization'
EQUIV: http://www.ontologyrepository.com/CommonCoreOntologies/Organization

SKIP: http://purl.obolibrary.org/obo/IAO_0021003 'social act'
EQUIV: http://www.ontologyrepository.com/CommonCoreOntologies/SocialAct

Various terms in CCO/Mid/AgentOntology belong as subclasses of "Deontic Role"