A type-theoretical approach for ontologies: The case of roles

Patrick Barlatier, Richard Dapoigny. A type-theoretical approach for ontologies: The case of roles. Applied Ontology, 7(3):311-356, 2012. [doi]

Abstract

Abstract is missing.