Bridging the Gap between Horn Clausal Logic and Description Logics in Inductive Learning.
Francesca A. LisiDonato MalerbaPublished in: AI*IA (2003)
Keyphrases
- inductive learning
- description logics
- concept descriptions
- horn clauses
- inductive logic programming
- defeasible logic
- computational properties
- knowledge representation formalisms
- knowledge representation and reasoning
- logic programming
- knowledge acquisition
- dl lite
- first order logic
- knowledge representation
- logic programs
- knowledge base
- knowledge compilation
- reasoning tasks
- background knowledge
- machine learning
- modal operators
- model theoretic
- domain theory
- propositional logic
- inference rules
- np hard
- representation language
- function free horn
- tableau calculus
- semantic web
- predicate logic
- highly expressive
- expert systems
- computing least common subsumers
- artificial intelligence
- relational databases
- ontology languages
- decision procedures
- theorem proving
- data mining