Towards the Verification of Ontologies with Rules.
Joachim BaumeisterThomas KleemannDietmar SeipelPublished in: FLAIRS Conference (2007)
Keyphrases
- rule language
- owl ontologies
- semantic web
- background knowledge
- dl programs
- knowledge base
- domain experts
- classification rules
- databases
- formal verification
- formal methods
- production rules
- rule sets
- model checking
- decision rules
- data sets
- domain ontology
- web resources
- conceptual graphs
- association rule mining
- knowledge based systems
- data model
- association rules
- ontology integration
- ontological framework
- ontology merging