Nominal Schemas for Integrating Rules and Description Logics.
Markus KrötzschFrederick MaierAdila Alfa KrisnadhiPascal HitzlerPublished in: Description Logics (2011)
Keyphrases
- description logics
- dl programs
- semantic mapping
- knowledge base
- concept descriptions
- reasoning tasks
- highly expressive
- description logic programs
- knowledge representation
- owl ontologies
- semantic web
- computational properties
- dl lite
- reasoning problems
- databases
- computing least common subsumers
- knowledge representation and reasoning
- knowledge representation formalisms
- reasoning services
- function free horn
- data mining
- database schema
- database
- production rules
- owl dl
- answer sets
- database systems
- fuzzy description logics
- number restrictions
- machine learning