A type-theoretical approach for ontologies: The case of roles
Patrick Barlatier, Richard Dapoigny · Applied Ontology · 2012
In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem. Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constr