Term Subsumption Languages in Knowledge Representation.
Peter F. Patel-SchneiderBernd Owsnicki-KleweAlfred KobsaNicola GuarinoRobert M. MacGregorWilliam S. MarkDeborah L. McGuinnessBernhard NebelAlbrecht SchmiedelJohn YenPublished in: AI Mag. (1990)
Keyphrases
- knowledge representation
- description logics
- highly expressive
- expressive power
- semantic web
- knowledge base
- language independent
- artificial intelligence
- knowledge structures
- knowledge engineering
- representing knowledge
- language identification
- transitive closure
- knowledge acquisition
- expert systems
- np complete
- logic programming
- semantic data model
- natural language understanding
- semantic web languages
- natural language
- legal knowledge
- multi lingual
- formal representation
- automated reasoning
- query translation
- probabilistic model
- natural language processing
- knowledge based systems
- data model
- general knowledge
- query processing
- refinement operators
- cross lingual
- information retrieval systems
- first order logic