RAISO: RAilway Infrastructures and Signaling Ontology for Configuration Management, Verification and Validation.
Pierfrancesco BelliniPaolo NesiImad ZazaPublished in: ICSC (2016)
Keyphrases
- configuration management
- network management
- domain knowledge
- knowledge base
- domain specific
- semantic web
- model checking
- ontology mapping
- data management
- knowledge representation
- version control
- semantic annotation
- owl ontologies
- face verification
- artificial intelligence
- signature verification
- formal methods
- formal verification
- semantically enhanced
- semantic relationships
- metamodel
- raw data
- domain ontology
- multiagent systems
- computer science
- cooperative