LTL over description logic axioms
published in: ACM Transactions on Computational Logic
date of publication: 2012-08-01
main subject: description logic
Cites articles
There is nothing here
Article - wd:Q57383685
There is nothing here
Article - wd:Q57383685