Building Bridges Between Knowledge Representation and Algebraic Specification.
Jacques CalmetIndra A. TjandraPublished in: ISMIS (1994)
Keyphrases
- knowledge representation
- artificial intelligence
- semantic web
- high level
- description logics
- conceptual model
- logic programming
- knowledge based systems
- knowledge acquisition
- machine learning
- case study
- knowledge base
- object oriented
- natural language processing
- higher order
- expert systems
- search algorithm
- clustering algorithm
- metadata
- knowledge engineering
- automated reasoning
- specification language
- natural language understanding
- reactive systems
- legal knowledge
- algebraic expressions