The Distributed Ontology, Model and Specification Language - DOL.

Till Mossakowski

Published in: WADT (2016)

Keyphrases

specification language
probabilistic model
high level
metamodel
formal specification
search algorithm
general purpose
distributed systems
semantic web
test cases
semantic description