Verifying task-based specifications in conceptual graphs.

Jonathan Lee Lein F. Lai

Published in: Inf. Softw. Technol. (1998)

Keyphrases

conceptual graphs
semantic representation
natural language
formal representation
knowledge structures
formal specification
ontology reasoning
model checking
object oriented dbms
partial order
conceptual structures
database
domain ontology
retrieval engine
information retrieval
domain specific
text mining