A case study in applying Ontologies to augment and reason about the correctness of Specifications
Year: 1999
Type: conference-paper
Authors: Yannis Kalfoglou, David Robertson
Language: English
Topic: Semantic Web and Ontologies
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W1956803361
