formal ontology

ontology defined by axioms in a formal language

Categories: