Building Ontologies with Basic Formal Ontology¶
Arp, S., & Spear. (2015). Building Ontologies with Basic Formal Ontology. The MIT Press.
Cited by¶
2 citations across 2 artifacts.
Each citation links to the sentence it supports in the citing article.
Domain-specific¶
- Quality inherence
- Quality inherence is the ontological commitment, foundational to upper-ontology frameworks such as the Basic Formal Ontology (BFO)
This sourceTextbook introduction to applied ontology built on Basic Formal Ontology, covering its theoretical components, design practices and biomedical applications. BFO 2.0 specification defining quality as a specifically dependent continuant and inheres_in as the relation of a dependent continuant to its independent-continuant bearer.
Supported in partVerified against a saved copy of the source
“ELUCIDATION: a quality is a specifically dependent continuant”
- Quality inherence is the ontological commitment, foundational to upper-ontology frameworks such as the Basic Formal Ontology (BFO)
- Immaterial Spatial Entity
- Formal and metaphysical ontology — the home machinery: Casati–Varzi on holes, Smith on boundaries and sites, and BFO's material/immaterial split, where holes, gaps, and surfaces are admitted as first-class types
This sourceAn introduction to applied ontology that presents the Basic Formal Ontology and its metaphysical foundations. An applied-ontology text presenting the Basic Formal Ontology and drawing on traditional metaphysical ideas.
Supported in partVerified against the publisher's abstract
“It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world”
- Formal and metaphysical ontology — the home machinery: Casati–Varzi on holes, Smith on boundaries and sites, and BFO's material/immaterial split, where holes, gaps, and surfaces are admitted as first-class types
Verification¶
Does it exist? Not checked yet. This work's DOI is recorded above but has not been resolved against an external catalogue, so nothing here confirms the work exists.
Does it back the claim? Read against the text for 2 of 2 citations: 2 supported in part. Each verdict is shown under its citation below, with what in the work backs the sentence.
Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.
See how references were verified.
Registry ID ref:4b57e71f26f5 · see in the full table