FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1514651775> ?p ?o ?g. }

• W1514651775 abstract "One aim of this paper is to improve the logical and ontological rigor of the OBO relation ontology by providing axiomatic specifications for logical properties of relations such as part_of, located_in, connected_to, adjacent_to, attached_to, etc. All of these relations are currently only loosely specified in OBO.A second aim is to improve the expressive power of the relation ontology by including axiomatic characterizations of qualitative size relations such as (roughly-the-) same-size-as, negligible-in-size-with-respect-to, same-scale, etc. These relations are important for comparing anatomical entities in a way that is compatible with the normal variations of their geometric properties. Moreover, qualitative size relations are important for distinguishing anatomical entities at different scales. Unfortunately, the formal treatment of these relations is difficult due to their context-dependent nature and their inherent vagueness. This paper presents a formalization that facilitates the separation of ontological aspects that are context-independent and non-vague from aspects that are context-dependent and subject to vagueness.A third aim is to explicitly take into account the specific temporal properties of all of the relations and to provide a formalization that can be used as a basis for the formal representation of canonical anatomy as well as of instantiated anatomy.All the relations and their properties are illustrated informally using a human synovial joint as a running example. At the formal level the axiomatic theory is developed using Isabelle, a computational system for implementing logical formalisms. All proofs are computer-verified and the computational representation of the theory is accessible on http://www.ifomis.org/bfo/fol." @default.
• W1514651775 created "2016-06-24" @default.
• W1514651775 creator A5034752274 @default.
• W1514651775 date "2009-01-01" @default.
• W1514651775 modified "2023-09-23" @default.
• W1514651775 title "Logical properties of foundational mereogeometrical relations in bio-ontologies" @default.
• W1514651775 cites W106561449 @default.
• W1514651775 cites W113317323 @default.
• W1514651775 cites W145896926 @default.
• W1514651775 cites W1515857575 @default.
• W1514651775 cites W1525208404 @default.
• W1514651775 cites W1536558775 @default.
• W1514651775 cites W1538517819 @default.
• W1514651775 cites W1542417898 @default.
• W1514651775 cites W1548329420 @default.
• W1514651775 cites W1555643513 @default.
• W1514651775 cites W1568594043 @default.
• W1514651775 cites W1576479172 @default.
• W1514651775 cites W1584571167 @default.
• W1514651775 cites W1590243215 @default.
• W1514651775 cites W1676677252 @default.
• W1514651775 cites W173533302 @default.
• W1514651775 cites W1769314122 @default.
• W1514651775 cites W181192058 @default.
• W1514651775 cites W1836367264 @default.
• W1514651775 cites W187688107 @default.
• W1514651775 cites W187692478 @default.
• W1514651775 cites W1885064655 @default.
• W1514651775 cites W191921708 @default.
• W1514651775 cites W1965185410 @default.
• W1514651775 cites W1983403209 @default.
• W1514651775 cites W1990890881 @default.
• W1514651775 cites W2007171636 @default.
• W1514651775 cites W2012268371 @default.
• W1514651775 cites W2015843582 @default.
• W1514651775 cites W2037189684 @default.
• W1514651775 cites W2040050468 @default.
• W1514651775 cites W2066676451 @default.
• W1514651775 cites W2080293785 @default.
• W1514651775 cites W2100490186 @default.
• W1514651775 cites W2103260426 @default.
• W1514651775 cites W2105925956 @default.
• W1514651775 cites W2106192381 @default.
• W1514651775 cites W2113142309 @default.
• W1514651775 cites W2122976400 @default.
• W1514651775 cites W2133992441 @default.
• W1514651775 cites W2140802274 @default.
• W1514651775 cites W2163670493 @default.
• W1514651775 cites W2163751633 @default.
• W1514651775 cites W2178533915 @default.
• W1514651775 cites W25243919 @default.
• W1514651775 cites W2592335032 @default.
• W1514651775 cites W2972685599 @default.
• W1514651775 cites W3022710057 @default.
• W1514651775 cites W31264522 @default.
• W1514651775 cites W37320630 @default.
• W1514651775 cites W42959669 @default.
• W1514651775 cites W590802936 @default.
• W1514651775 cites W59491038 @default.
• W1514651775 cites W606831423 @default.
• W1514651775 cites W70048713 @default.
• W1514651775 cites W1494536333 @default.
• W1514651775 cites W3202227343 @default.
• W1514651775 cites W37834059 @default.
• W1514651775 doi "https://doi.org/10.3233/ao-2009-0065" @default.
• W1514651775 hasPublicationYear "2009" @default.
• W1514651775 type Work @default.
• W1514651775 sameAs 1514651775 @default.
• W1514651775 citedByCount "11" @default.
• W1514651775 countsByYear W15146517752012 @default.
• W1514651775 countsByYear W15146517752013 @default.
• W1514651775 countsByYear W15146517752016 @default.
• W1514651775 crossrefType "journal-article" @default.
• W1514651775 hasAuthorship W1514651775A5034752274 @default.
• W1514651775 hasConcept C108710211 @default.
• W1514651775 hasConcept C111472728 @default.
• W1514651775 hasConcept C124101348 @default.
• W1514651775 hasConcept C125773388 @default.
• W1514651775 hasConcept C137003198 @default.
• W1514651775 hasConcept C138885662 @default.
• W1514651775 hasConcept C151730666 @default.
• W1514651775 hasConcept C154945302 @default.
• W1514651775 hasConcept C167729594 @default.
• W1514651775 hasConcept C171018156 @default.
• W1514651775 hasConcept C17744445 @default.
• W1514651775 hasConcept C199360897 @default.
• W1514651775 hasConcept C199539241 @default.
• W1514651775 hasConcept C2524010 @default.
• W1514651775 hasConcept C25343380 @default.
• W1514651775 hasConcept C25810664 @default.
• W1514651775 hasConcept C2776359362 @default.
• W1514651775 hasConcept C2776825360 @default.
• W1514651775 hasConcept C2778177438 @default.
• W1514651775 hasConcept C2779343474 @default.
• W1514651775 hasConcept C33923547 @default.
• W1514651775 hasConcept C41008148 @default.
• W1514651775 hasConcept C58166 @default.
• W1514651775 hasConcept C80444323 @default.
• W1514651775 hasConcept C86803240 @default.
• W1514651775 hasConcept C94625758 @default.

• next