Taking Advantages of Automated Reasoning in Visual Ontology Engineering Environments.
Germán Alejandro BraunLaura Andrea CecchiPablo R. FillottraniPublished in: JOWO (2019)
Keyphrases
- automated reasoning
- ontology engineering
- knowledge representation
- ontology learning
- theorem proving
- probabilistic reasoning
- theorem prover
- semantic web
- semi automatic
- visual features
- knowledge engineering
- first order logic
- knowledge acquisition
- neural network
- owl ontologies
- expert knowledge
- description logics
- rough sets
- software engineering
- conceptual structures
- expert systems