Login / Signup
Comparing Topic Maps Constraint Specification Languages.
Giovani Rubert Librelotto
Renato Preigschadt de Azevedo
José Carlos Ramalho
Pedro Rangel Henriques
Published in:
TMRA (2007)
Keyphrases
</>
topic maps
specification languages
formal specification
object oriented programs
ontology driven
knowledge organization
semantic web
semantic aspects
information resources
semantic query
data model
first order logic
learning resources
metadata
information systems
model checking
intelligent agents
multimedia