Improving incremental construction of knowledge bases by using terminological logic resources.
Rita Maria da Silva JuliaAntónio Eduardo Costa PereiraWilmondes M. ArantesAlex Marcelo Samaniego GuillenPublished in: SMC (1998)
Keyphrases
- knowledge base
- logic programming
- knowledge representation
- structured knowledge
- modal logic
- knowledge acquisition
- limited resources
- description logics
- possibilistic logic
- resource allocation
- semantic network
- construction process
- classical logic
- resource management
- expert systems
- automated reasoning
- incremental learning
- logic programs
- knowledge based systems
- background knowledge
- knowledge representation languages
- predicate logic
- wordnet
- logical framework
- resource constraints
- reasoning process
- learning resources
- computational properties
- defeasible logic
- knowledge sources
- probabilistic knowledge
- logical formulas
- highly expressive
- web resources
- information resources