acliebers

PROV-BFO-Mapping

PROV & SSN/SOSA mapped into BFO-ISO

ProvisionalFootballOntology-Soccer-

This is a provisional football ontology. It uses BFO as a higher-order ontology and CCO as a midlevel ontology with an eye towards interoperability.

Logic-of-Ontology