# Using OWL Ontologies as a Domain-Specific Language for Capturing Requirements for Formal Analysis and Test Case Generation

> Research article (2019 IEEE 13th International Conference on Semantic Computing (ICSC), 2019) · cited 11× · AI/ML

**Wikidata**: [openalex:W2921162367](https://www.wikidata.org/wiki/openalex:W2921162367)  
**Source**: https://4ort.xyz/entity/using-owl-ontologies-as-a-domain-specific-language-for-capturing-requirements-for-formal-analysis-and-test-case-generati