FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W267718> ?p ?o ?g. }

• W267718 endingPage "356" @default.
• W267718 startingPage "311" @default.
• W267718 abstract "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-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge this gap, we present in this paper a theory for representing ontologies in a dependently-typed framework which relies on strong formal foundations including both a constructive logic and a functional type system. The language of this theory defines in a precise way what ontological primitives such as classes, relations, properties, etc., and thereof roles, are. The first part of the paper details how these primitives are defined and used within the theory. In a second part, we focus on the formalization of the role primitive. A review of significant role properties leads to the specification of a role profile and most of the remaining work details through numerous examples, how the proposed theory is able to fully satisfy this profile. It is demonstrated that dependent types can model several non-trivial aspects of roles including a formal solution for generalization hierarchies, identity criteria for roles and other contributions. A discussion is given on how the theory is able to cope with many of the constraints inherent in a good role representation." @default.
• W267718 created "2016-06-24" @default.
• W267718 creator A5004353463 @default.
• W267718 creator A5049593125 @default.
• W267718 date "2012-01-01" @default.
• W267718 modified "2023-09-27" @default.
• W267718 title "A type-theoretical approach for ontologies: The case of roles" @default.
• W267718 cites W121387480 @default.
• W267718 cites W121749421 @default.
• W267718 cites W126458859 @default.
• W267718 cites W126922010 @default.
• W267718 cites W1483661952 @default.
• W267718 cites W1485894532 @default.
• W267718 cites W1488538795 @default.
• W267718 cites W1497682552 @default.
• W267718 cites W1498951763 @default.
• W267718 cites W1504884872 @default.
• W267718 cites W1514975018 @default.
• W267718 cites W1516346799 @default.
• W267718 cites W1520893111 @default.
• W267718 cites W1538467230 @default.
• W267718 cites W1541653499 @default.
• W267718 cites W1542417898 @default.
• W267718 cites W1544633123 @default.
• W267718 cites W1546656393 @default.
• W267718 cites W1546759054 @default.
• W267718 cites W1549406551 @default.
• W267718 cites W1553976193 @default.
• W267718 cites W1556656669 @default.
• W267718 cites W1582062578 @default.
• W267718 cites W1585533089 @default.
• W267718 cites W159715351 @default.
• W267718 cites W1598846611 @default.
• W267718 cites W1608751598 @default.
• W267718 cites W163434799 @default.
• W267718 cites W1641078044 @default.
• W267718 cites W1705152440 @default.
• W267718 cites W1710051061 @default.
• W267718 cites W1796076224 @default.
• W267718 cites W1803729400 @default.
• W267718 cites W1808012217 @default.
• W267718 cites W1820513038 @default.
• W267718 cites W1836283670 @default.
• W267718 cites W1838321713 @default.
• W267718 cites W1847033326 @default.
• W267718 cites W1867436870 @default.
• W267718 cites W1882406771 @default.
• W267718 cites W1940888119 @default.
• W267718 cites W1953288567 @default.
• W267718 cites W1963240911 @default.
• W267718 cites W1964772738 @default.
• W267718 cites W1970378524 @default.
• W267718 cites W1972566901 @default.
• W267718 cites W1978246972 @default.
• W267718 cites W1986402635 @default.
• W267718 cites W1991183254 @default.
• W267718 cites W1996857980 @default.
• W267718 cites W1998017916 @default.
• W267718 cites W2006977573 @default.
• W267718 cites W2008578397 @default.
• W267718 cites W202363913 @default.
• W267718 cites W2030658843 @default.
• W267718 cites W2038429440 @default.
• W267718 cites W2048715330 @default.
• W267718 cites W2056420273 @default.
• W267718 cites W2057745114 @default.
• W267718 cites W2065373041 @default.
• W267718 cites W2083322221 @default.
• W267718 cites W2084797476 @default.
• W267718 cites W2095378146 @default.
• W267718 cites W2097395913 @default.
• W267718 cites W2098162728 @default.
• W267718 cites W2103260426 @default.
• W267718 cites W2105925956 @default.
• W267718 cites W2106718208 @default.
• W267718 cites W2108234081 @default.
• W267718 cites W2112445580 @default.
• W267718 cites W2120663022 @default.
• W267718 cites W2121939662 @default.
• W267718 cites W2126814423 @default.
• W267718 cites W2130485792 @default.
• W267718 cites W2133992441 @default.
• W267718 cites W2136651263 @default.
• W267718 cites W2138474070 @default.
• W267718 cites W2140305396 @default.
• W267718 cites W2144192824 @default.
• W267718 cites W2145554685 @default.
• W267718 cites W2146435850 @default.
• W267718 cites W2153006281 @default.
• W267718 cites W2165108943 @default.
• W267718 cites W2165208241 @default.
• W267718 cites W2166602595 @default.
• W267718 cites W2167039673 @default.
• W267718 cites W2169449312 @default.
• W267718 cites W2170657691 @default.
• W267718 cites W2211325406 @default.
• W267718 cites W2240818974 @default.
• W267718 cites W2299199230 @default.

• next