Modular Ontologies for Architectural Design.

Joana Hois Mehul Bhatt Oliver Kutz

Published in: FOMI (2009)

Keyphrases

theorem prover
architectural design
modular ontologies
design decisions
software architecture
detailed design
decision making
real world
domain specific
expressive power
formal semantics
owl ontologies