Converting the Suggested Upper Merged Ontology to Typed First-order Form.

Published in: CoRR (2023)

Keyphrases

higher order
domain specific
domain knowledge
first order logic
rough sets
semantic web
formal representation
databases
semantic information
domain ontology
semantic annotation
semantic relationships