Embedding Defaults into Terminological Knowledge Representation Formalisms.
Franz BaaderBernhard HollunderPublished in: J. Autom. Reason. (1995)
Keyphrases
- knowledge representation formalisms
- default logic
- knowledge representation
- knowledge base
- default theories
- default reasoning
- description logics
- logic programming
- nonmonotonic reasoning
- default rules
- terminological reasoning
- fixed point
- natural language
- first order logic
- vector space
- expert systems
- artificial intelligence
- nonlinear dimensionality reduction
- modal logic
- machine learning
- semantic web
- watermarking algorithm
- data hiding
- information hiding
- knowledge representation languages
- terminological knowledge
- knowledge structures
- general purpose
- highly expressive
- digital images
- pairwise