Inference Inspector: Improving the verification of ontology authoring actions.
Nicolas MatentzogluMarkel VigoCaroline JayRobert StevensPublished in: J. Web Semant. (2018)
Keyphrases
- decision theoretic
- topic maps
- knowledge representation
- bayesian networks
- domain specific
- authoring tool
- model checking
- domain ontology
- semantic web
- domain knowledge
- learning objects
- bayesian inference
- formal verification
- ontology construction
- knowledge acquisition
- information systems
- inference engine
- expert systems
- action selection
- formal methods
- semantically enhanced
- ontological framework