It Is What It Does: The Pragmatics of Ontology as ... - Tom Gruber
It Is What It Does: The Pragmatics of Ontology as ... - Tom Gruber
It Is What It Does: The Pragmatics of Ontology as ... - Tom Gruber
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>The</strong> role <strong>of</strong> formalism• Formal specification helps communicatethe definition <strong>of</strong> terms in reader- andcontext-independent ways.• Formal language semantics allows someautomated consistency checks.• Formal axiomatization is never sufficient.• <strong>It</strong> always comes down to the primitives!(c) 2000, 2003 Thom<strong>as</strong> <strong>Gruber</strong>
Change language