Integration Proposal for Description Logic and Attributive Logic - Towards Semantic Web Rules.
Grzegorz J. NalepaWeronika T. FurmanskaPublished in: Trans. Comput. Collect. Intell. (2010)
Keyphrases
- semantic web
- description logics
- computational properties
- ontology languages
- knowledge representation
- knowledge base
- owl dl
- model theoretic
- owl ontologies
- semantic annotation
- reasoning tasks
- linked data
- semantic web technologies
- reasoning problems
- logic programming
- rule language
- web ontology language
- semantic data
- production rules
- data integration
- reasoning systems
- dl lite
- semantic web rule language
- automated reasoning
- ontology mapping
- current web
- information technology
- ontology matching
- inference engine
- information integration
- natural language
- database systems
- databases