Formalising and repairing semantic networks of ontologies with linear temporal logics.
Manel KolliPublished in: Int. J. Metadata Semant. Ontologies (2016)
Keyphrases
- semantic network
- temporal logic
- predicate logic
- semantic relations
- knowledge base
- semantic net
- model checking
- spreading activation
- modal logic
- knowledge sources
- mazurkiewicz traces
- satisfiability problem
- wordnet
- concurrent systems
- belief revision
- temporal knowledge
- verification method
- predicate calculus
- reactive systems
- expert systems
- description logics
- domain knowledge
- prior knowledge
- transition systems
- array processor
- knowledge repositories
- databases
- co occurrence
- knowledge representation