Owl: A Library for ω-Words, Automata, and LTL.
Jan KretínskýTobias MeggendorferSalomon SickertPublished in: ATVA (2018)
Keyphrases
- deterministic automata
- model checking
- cellular automata
- finite automata
- n gram
- temporal logic
- semantic web
- linear temporal logic
- finite state
- keywords
- knowledge base
- word sense disambiguation
- related words
- linear time temporal logic
- text documents
- domain specific
- owl ontologies
- knowledge representation
- english words
- digital libraries
- bounded model checking
- lattice gas