search

PopulationAndCommunityOntology / pco

An ontology about groups of interacting organisms such as populations and communities
Creative Commons Zero v1.0 Universal
16 stars 4 forks source link

update axioms of household #27

Closed ramonawalls closed 8 years ago

ramonawalls commented 8 years ago

Changed parent from 'material entity' to 'Homo sapiens' or 'collection of humans'.

ramonawalls commented 8 years ago

@zhengj2007 Please let me know if this change will work for you. I'm trying to make it more specific.

At some point, we still need to add an axiom for living and sharing meals in the same residence.

zhengj2007 commented 8 years ago

It works for me. Thanks!

ramonawalls commented 8 years ago

Will also request a new ENVO term for human dwelling (subclass of building and parent class of human house). EnvironmentOntology/envo#264

mark-jensen commented 8 years ago

I notice that household is currently outside the BFO hierarchy. According to the axiom, shouldn't it appear under material entity?

ramonawalls commented 8 years ago

Once the reasoner is run, it is classified as a material entity.

ramonawalls commented 8 years ago

At least it should be :)

mark-jensen commented 8 years ago

What is this magical-sounding thing you call a reasoner?

ramonawalls commented 8 years ago

:) I'll send you some more information offline.

ramonawalls commented 8 years ago

I have imported the ENVO term for human dwelling, but we still need a way to specify that the people who are part of the household live and share meals in the same human dwelling.

ramonawalls commented 8 years ago

I was able to define this using the new relation occupies.

'organismal entity' and ('has member' only 'Homo sapiens') and ('has member' min 1 'Homo sapiens') and occupies some (site and 'located in' some 'human dwelling')