FRINK Linked Data Fragments server

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

• W2003040898 endingPage "342" @default.
• W2003040898 startingPage "329" @default.
• W2003040898 abstract "This paper deals with terminological representation languages for KL-ONE -type knowledge representation systems. Such languages are based on the two primitive syntactic types called concepts and roles, which are usually represented model-theoretically as sets and binary relations, respectively. Rather than following the model-theoretic route, we show that the semantics can be naturally accomodated in the context of an equational algebra of relations interacting with sets. Equational logic is then a natural vehicle for computing subsumptions, both of concepts and of roles. We thus propose the algebraic rather than model-theoretic computation of subsumption." @default.
• W2003040898 created "2016-06-24" @default.
• W2003040898 creator A5017029506 @default.
• W2003040898 creator A5037583341 @default.
• W2003040898 date "1992-01-01" @default.
• W2003040898 modified "2023-10-16" @default.
• W2003040898 title "Subsumption computed algebraically" @default.
• W2003040898 cites W114225339 @default.
• W2003040898 cites W1754555079 @default.
• W2003040898 cites W1965144055 @default.
• W2003040898 cites W1974136241 @default.
• W2003040898 cites W1975692240 @default.
• W2003040898 cites W1975847612 @default.
• W2003040898 cites W1977378431 @default.
• W2003040898 cites W1979546915 @default.
• W2003040898 cites W1988376188 @default.
• W2003040898 cites W1989040088 @default.
• W2003040898 cites W1994810381 @default.
• W2003040898 cites W1999978255 @default.
• W2003040898 cites W2001537075 @default.
• W2003040898 cites W2006006495 @default.
• W2003040898 cites W2019751493 @default.
• W2003040898 cites W2048810095 @default.
• W2003040898 cites W2053753025 @default.
• W2003040898 cites W2057513565 @default.
• W2003040898 cites W2064119752 @default.
• W2003040898 cites W2066786426 @default.
• W2003040898 cites W2076239319 @default.
• W2003040898 cites W2118478995 @default.
• W2003040898 cites W2145465694 @default.
• W2003040898 cites W4206357041 @default.
• W2003040898 cites W4212875990 @default.
• W2003040898 cites W4245349101 @default.
• W2003040898 doi "https://doi.org/10.1016/0898-1221(92)90146-9" @default.
• W2003040898 hasPublicationYear "1992" @default.
• W2003040898 type Work @default.
• W2003040898 sameAs 2003040898 @default.
• W2003040898 citedByCount "14" @default.
• W2003040898 countsByYear W20030408982018 @default.
• W2003040898 crossrefType "journal-article" @default.
• W2003040898 hasAuthorship W2003040898A5017029506 @default.
• W2003040898 hasAuthorship W2003040898A5037583341 @default.
• W2003040898 hasConcept C118615104 @default.
• W2003040898 hasConcept C134306372 @default.
• W2003040898 hasConcept C136119220 @default.
• W2003040898 hasConcept C151730666 @default.
• W2003040898 hasConcept C154564781 @default.
• W2003040898 hasConcept C154690210 @default.
• W2003040898 hasConcept C154945302 @default.
• W2003040898 hasConcept C161301231 @default.
• W2003040898 hasConcept C17744445 @default.
• W2003040898 hasConcept C182419690 @default.
• W2003040898 hasConcept C184337299 @default.
• W2003040898 hasConcept C18903297 @default.
• W2003040898 hasConcept C199360897 @default.
• W2003040898 hasConcept C199539241 @default.
• W2003040898 hasConcept C202444582 @default.
• W2003040898 hasConcept C2776359362 @default.
• W2003040898 hasConcept C2777299769 @default.
• W2003040898 hasConcept C2779343474 @default.
• W2003040898 hasConcept C33923547 @default.
• W2003040898 hasConcept C41008148 @default.
• W2003040898 hasConcept C65180967 @default.
• W2003040898 hasConcept C80444323 @default.
• W2003040898 hasConcept C86803240 @default.
• W2003040898 hasConcept C9376300 @default.
• W2003040898 hasConcept C94625758 @default.
• W2003040898 hasConceptScore W2003040898C118615104 @default.
• W2003040898 hasConceptScore W2003040898C134306372 @default.
• W2003040898 hasConceptScore W2003040898C136119220 @default.
• W2003040898 hasConceptScore W2003040898C151730666 @default.
• W2003040898 hasConceptScore W2003040898C154564781 @default.
• W2003040898 hasConceptScore W2003040898C154690210 @default.
• W2003040898 hasConceptScore W2003040898C154945302 @default.
• W2003040898 hasConceptScore W2003040898C161301231 @default.
• W2003040898 hasConceptScore W2003040898C17744445 @default.
• W2003040898 hasConceptScore W2003040898C182419690 @default.
• W2003040898 hasConceptScore W2003040898C184337299 @default.
• W2003040898 hasConceptScore W2003040898C18903297 @default.
• W2003040898 hasConceptScore W2003040898C199360897 @default.
• W2003040898 hasConceptScore W2003040898C199539241 @default.
• W2003040898 hasConceptScore W2003040898C202444582 @default.
• W2003040898 hasConceptScore W2003040898C2776359362 @default.
• W2003040898 hasConceptScore W2003040898C2777299769 @default.
• W2003040898 hasConceptScore W2003040898C2779343474 @default.
• W2003040898 hasConceptScore W2003040898C33923547 @default.
• W2003040898 hasConceptScore W2003040898C41008148 @default.
• W2003040898 hasConceptScore W2003040898C65180967 @default.
• W2003040898 hasConceptScore W2003040898C80444323 @default.
• W2003040898 hasConceptScore W2003040898C86803240 @default.
• W2003040898 hasConceptScore W2003040898C9376300 @default.
• W2003040898 hasConceptScore W2003040898C94625758 @default.
• W2003040898 hasIssue "2-5" @default.
• W2003040898 hasLocation W20030408981 @default.
• W2003040898 hasOpenAccess W2003040898 @default.
• W2003040898 hasPrimaryLocation W20030408981 @default.
• W2003040898 hasRelatedWork W1996319902 @default.
• W2003040898 hasRelatedWork W2003040898 @default.

• next