Keyphrases
- semantic web
- owl ontologies
- knowledge representation
- ontology reasoning
- owl dl
- knowledge base
- semantic web technologies
- web ontology language
- description logics
- ontology languages
- domain ontology
- ontological reasoning
- semantic web standards
- fuzzy ontology
- semantic annotation
- domain knowledge
- model checking
- semantic description
- production rules
- ontology mapping
- rdf schema
- ontology engineering
- web ontologies
- rule language
- ontology mappings
- modular ontologies
- reasoning engine
- verification method
- formal verification
- formal methods
- reasoning services
- interchange format
- face verification
- conceptual model
- metadata