Concepedia

Parts and Moments: Studies in Logic and Formal Ontology.

Bruno Schuwey, Barry Smith

Philosophy and Phenomenological Research · 1985 · 160 citations · 0 references

Concepts

ComputingComputer SciencePhilosophyFormal MethodsKnowledge RepresentationLogicDescription LogicsFirst-order LogicFormal OntologyFormal SemanticsOntology EngineeringPredicate LogicFormal SpecificationsOntologiesOntology Formalization