Keyphrases
- semantic web
- formal methods
- knowledge representation
- safety analysis
- modeling language
- owl ontologies
- knowledge base
- databases
- ontology languages
- object oriented programming language
- semantic web standards
- web ontology language
- constraint language
- owl dl
- semantic web technologies
- domain ontology
- distributed systems
- description logics
- low cost
- software engineering
- object oriented