A description-oriented logic for building knowledge bases.
Giuseppe AttardiMaria SimiPublished in: Proc. IEEE (1986)
Keyphrases
- knowledge base
- logic programming
- formal representation
- classical logic
- high level
- description logics
- database
- knowledge representation
- knowledge acquisition
- knowledge based systems
- predicate logic
- digital circuits
- knowledge engineers
- early vision
- logical framework
- probabilistic logic
- multi valued
- modal logic
- domain knowledge
- databases
- data sets