A little logic puzzle: Want reasoning over partonomy in regional subdivision of integument. Tried to do this with separate part retationships - as FMA does - using separate part relations (e.g.- consitutional_part). Formalization is very interesting.
- dosumis
I am not quite sure which are the benefits of distinguishing between regional part and constitutional part
- steschu
What about that species of fish that has an eye on each side of its head when it's young and as it grows older one of the eyes migrates across to the other side?
- Colin Batchelor
Also, to take a human example, I knew someone at university with situs inversus.
- Colin Batchelor
@steschu wrote: "I am not quite sure which are the benefits of distinguishing between regional part and constitutional part ". I suspect that some of these FMA part relations are doing useful work. For example, I think it may be useful to distinguish a tissue or organ from its innervation or blood supply. FMA uses systemic part for this. I think it's probably be better to use something like contained_in.
- dosumis
context of eagle-i project. use ontology to control UI, display and search. very central role of ontology
- Melanie
layered architecture (application modules for specific app, eagle-i core ontology, mireot files).1. app module for UI: annotation file and anno def file. 'data mode exclude': classes to not display in UI for example
- Melanie
Interesting conclusion: need for community views - 'slims' (?)
- Kerstin Forsberg
from iPhone
Interesting overlap/synergy with what eagle-i and is doing form the perspective of resources. They should get in touch with biodata folks.
- Carlo Torniai
I am actually quite skeptical about her guidelines. A class with single subclass doesn't imply it shoud be merged. Nor does the fact of having many instances imply you should subclass. She cited http://dx.doi.org/10...
- Melanie
I think a class with a single subclass is an ontology smell. Not necessarily wrong, but probably a sign that something is up somewhere. Possibly with our present state of knowledge about the subject. (cf. http://en.wikipedia.org/wiki...)
- Colin Batchelor
Single subclasses can also simply be a reflection of the completeness of the ontology - we know other subclasses exist but there hasn't been a effort to add them yet.
- Jane Lomax
complicated pipeline to convert OBO to OWL and mireot in terms then reconvert to OBO and filter out mireot. Seems it would be much more straightforward and robust to develop in OWL?
- Melanie
Thanks for the link! Do you know if there is a strong desire to keep OBO, or if developers would be happy either way? Meant to ask Terry but didn't get the chance.
- Melanie
BS: "if you have 3 apples in a box you do not have 4 first-class entities, 3 apples and the number 3" MC: I disagree, you have 3 apples and somebody counting them and saying "there are 3 of them". This is the principle behind having and assay and measurement datum
- Melanie
I agree from the perspective of the assay design. from a general point of you 3 apples in a box are entities in reality that 'exist' even if you are not measuring them.
- Carlo Torniai
Stefan asked the same question re denoted_by, and she was explaining (I hope I got it right) that she is trying to link a material entity to a GO ID, but as the same GO ID may denote several mat entities it didn't work.
- Melanie
Maybe confusion between class2class relations with instance2instance relations
- steschu
Semantic integration is necessary for lipid research, but no single unified, consistent and universally accepted lipid classification system is there.
- Robert Hoehndorf
Objective: formalize lipid nomenclature and classification using OWL-DL.
- Robert Hoehndorf
Based on BFO as top-level, but mainly reuse the Independent continuant category.
- Robert Hoehndorf
Chebi not suitable: not all relationships from ChEBI are relevant, lack of formal consistency
- Robert Hoehndorf
Compound has-part Organic_group AND Organic_group part-of Compound
- Robert Hoehndorf
34 additional properties of the has-part-X kind to specify number restrictions which do not work with transitive (has-part) relations
- Robert Hoehndorf
"Added additional properties to enable cardinality constraints" - sounds like not QCR aware - probably should be fixed for OWL 2 version to use fewer properties. Re transitive issue, they still don't need so many properties.
- Alan Ruttenberg
So, the discussion is exactly about QCRs together with transitive properties.
- Robert Hoehndorf
Wondering if anyone has a good definition of "functional group"
- Alan Ruttenberg
@alan: As a very very rough first draft, functional groups are those special parts of molecules that ground (or maybe their structures, which are qualities, ground) dispositions. At least that's what I argued in my tutorial.
- Colin Batchelor
It would have to be some very special dispositions: the disposition to be attracted by gravity would not belong there. Do you have a way of saying which dispositions are grounded there?
- Robert Hoehndorf
@leechuck "some very special dispositions" - yes, those which are realized as processes of bond breaking or bond formation, roughly. (Sorry, missed this at the time.)
- Colin Batchelor
Distinction between data and what data are about, L1: first order reality (entities such as body), L2 representations (clinicians beliefs about L1) inaccessible (in our mind), L3 clinician explaining things to students is also representation
- Melanie
WC: "better have a bad one that none at all"
- Melanie
diagnosis: L2 (in physician's head), disorder L1 in patient's baody
- Melanie
EHR models: patient centered, or encounter focused
- Melanie
Problem: in EHR, use of codes does not provide context. E.g. 3 records of fracture on one patient, are they the same?
- Melanie
MC note: Confusion between OBO Foundry and BioPortal? (WC showing OBOFoundry site and claiming back quality of resources, then switching to a screenshot of bioportal and saying same about Snomed and MedDRA)
- Melanie
Apparently (per WC and BS) http://bit.ly/ymBYE (guide to creating your first ontology) proves that France doesn't exist. Need to read and check on that.
- Melanie
Problem: we know some disorder is involved, not which one specifically. Goal of RT is to be explicit about what we are talking about: use UID (unique identifier) for each thing
- Melanie
Astonishingly, that guide does say, and I quote: "Therefore, we define all wine regions as classes. Protégé-2000 allows users to specify some classes as Abstract, signifying that the class cannot have any direct instances. In our case, all region classes are abstract." Seems a very odd way of doing parthood relations, realism or no realism.
- Colin Batchelor
IUI: instances unique IDs assigned to each occurrence of disorder -allows us to know that 2 diagnoses are referring to the same disorder (disorder being the L1 thing happening in reality)
- Melanie
RT represents each instance with timestamp in case of continuants using UIDs
- Melanie
Limits of current handling in time in BFO: no such statement as temporal intervals (eg my life), no mechanism to handle open-ended intervals (my life is not over)
- Melanie
Bill suggests enhanced temporal relation ontology: 'start_later_than' (subrelations such as during, co-ends, since...) and 'start_at_same_instant_ as etc
- Melanie
BS: will hand out proposal for BFO2.0 tomorrow. BFO not designed to be restricted list of preferred terms, but instead logically robust basis in terms of which you can define extensiosn (such as enhanced temporal region) -> no need for it to be part of BFO, can be an extension
- Melanie
Didn't all this get sorted out with the Allen paper donkeys' years ago?
- Colin Batchelor
Bill mentioned this was the basis for his work - I had missed the reference, thanks!
- Melanie
'IUI always" filler for occurrents to fulfill template requirements instead of creating a new one -> workaround to comply with system, i.e. extension to RT
- Melanie
Highlight of needs for synchronization across different anatomy ontologies and tools to do that
- Carlo Torniai
synchronization requirements: Problem, different ontologies use different strategies for referencing terms from other ontologies. Some use xrefs. Some import/Mireot. Need to standardise this better and make better tools
- dosumis
Problems - artifacts from frames cause problems for translating into OWL. Hidden assuptions.
- dosumis
currently focused on getting part_of correct.
- dosumis
Also big problems that part relations are missing in current OWL translations (e.g.- on bioportal) - this is an artifact coming from translating from frames.
- dosumis