Model-Finding for Externally Verifying FOL Ontologies: A Study of Spatial Ontologies.

Shirly Stephen Torsten Hahmann

Published in: FOIS (2020)

Keyphrases

knowledge representation
theoretical framework
high level
computational model
study proposes
conceptual model
databases
objective function
spatial and temporal
neural network
knowledge base
prior knowledge
probability distribution
management system
semantic web
semantic relations