Goal-Directed Tracing of Inferences in EL Ontologies.
Yevgeny KazakovPavel KlinovPublished in: Description Logics (2014)
Keyphrases
- goal directed
- dl lite
- description logics
- semantic web
- knowledge representation
- knowledge base
- autonomous robots
- semantic web technologies
- databases
- ontology languages
- automated planning
- domain specific
- ontology matching
- ontology mapping
- semantic technologies
- domain ontology
- background knowledge
- ontology integration
- owl ontologies
- formal ontologies
- ontology merging
- ontology learning
- semantic interoperability
- data complexity
- information integration
- ontology engineering
- semantic relations
- data integration
- expert systems
- information systems