FRINK Linked Data Fragments server

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

• W2008292271 endingPage "104" @default.
• W2008292271 startingPage "86" @default.
• W2008292271 abstract "Even within a single knowledge representation system there are often many different ways to model a given domain and formalise a reasoning problem specified over the domain. In particular, two knowledge descriptions can be semantically equivalent even if they are expressed in quite different languages or vocabularies. This paper proposes and studies a concept of synonymy that applies to equivalent theories formulated in distinct vocabularies. We suggest a set of general desiderata or criteria of adequacy that any reasonable synonymy concept should satisfy. We then analyse a specific concept of synonymy within answer set programming (ASP), a framework that is currently being applied with success in many areas of knowledge technology. We characterise this concept in different ways, show that it satisfies the prescribed criteria of adequacy, and illustrate how it can be applied to a sample problem arising in knowledge representation and reasoning. As a logical framework we use quantified equilibrium logic based on a first-order version of the logic of here-and-there. This serves as an adequate formal foundation for ASP and allows us to obtain a logical account of the synonymy relation." @default.
• W2008292271 created "2016-06-24" @default.
• W2008292271 creator A5050547672 @default.
• W2008292271 creator A5072844178 @default.
• W2008292271 date "2012-01-01" @default.
• W2008292271 modified "2023-10-14" @default.
• W2008292271 title "Synonymous theories and knowledge representations in answer set programming" @default.
• W2008292271 cites W140702174 @default.
• W2008292271 cites W1484110122 @default.
• W2008292271 cites W1497192272 @default.
• W2008292271 cites W1508574255 @default.
• W2008292271 cites W1516853416 @default.
• W2008292271 cites W1531731596 @default.
• W2008292271 cites W1548394136 @default.
• W2008292271 cites W1567216075 @default.
• W2008292271 cites W1567252621 @default.
• W2008292271 cites W1582978375 @default.
• W2008292271 cites W1968647304 @default.
• W2008292271 cites W1974065885 @default.
• W2008292271 cites W1976055110 @default.
• W2008292271 cites W1985274317 @default.
• W2008292271 cites W2004758195 @default.
• W2008292271 cites W2011124182 @default.
• W2008292271 cites W2025008902 @default.
• W2008292271 cites W2037991309 @default.
• W2008292271 cites W2056850725 @default.
• W2008292271 cites W2087563242 @default.
• W2008292271 cites W2090184124 @default.
• W2008292271 cites W2094771883 @default.
• W2008292271 cites W2106291991 @default.
• W2008292271 cites W2123740011 @default.
• W2008292271 cites W2123964226 @default.
• W2008292271 cites W2125424848 @default.
• W2008292271 cites W2914398864 @default.
• W2008292271 doi "https://doi.org/10.1016/j.jcss.2011.02.013" @default.
• W2008292271 hasPublicationYear "2012" @default.
• W2008292271 type Work @default.
• W2008292271 sameAs 2008292271 @default.
• W2008292271 citedByCount "16" @default.
• W2008292271 countsByYear W20082922712012 @default.
• W2008292271 countsByYear W20082922712014 @default.
• W2008292271 countsByYear W20082922712015 @default.
• W2008292271 countsByYear W20082922712017 @default.
• W2008292271 countsByYear W20082922712018 @default.
• W2008292271 countsByYear W20082922712019 @default.
• W2008292271 countsByYear W20082922712021 @default.
• W2008292271 countsByYear W20082922712022 @default.
• W2008292271 countsByYear W20082922712023 @default.
• W2008292271 crossrefType "journal-article" @default.
• W2008292271 hasAuthorship W2008292271A5050547672 @default.
• W2008292271 hasAuthorship W2008292271A5072844178 @default.
• W2008292271 hasBestOaLocation W20082922711 @default.
• W2008292271 hasConcept C124101348 @default.
• W2008292271 hasConcept C128838566 @default.
• W2008292271 hasConcept C134306372 @default.
• W2008292271 hasConcept C154945302 @default.
• W2008292271 hasConcept C161301231 @default.
• W2008292271 hasConcept C177264268 @default.
• W2008292271 hasConcept C17744445 @default.
• W2008292271 hasConcept C182620335 @default.
• W2008292271 hasConcept C199360897 @default.
• W2008292271 hasConcept C199539241 @default.
• W2008292271 hasConcept C20693621 @default.
• W2008292271 hasConcept C25343380 @default.
• W2008292271 hasConcept C2776359362 @default.
• W2008292271 hasConcept C33923547 @default.
• W2008292271 hasConcept C36503486 @default.
• W2008292271 hasConcept C41008148 @default.
• W2008292271 hasConcept C80444323 @default.
• W2008292271 hasConcept C94625758 @default.
• W2008292271 hasConceptScore W2008292271C124101348 @default.
• W2008292271 hasConceptScore W2008292271C128838566 @default.
• W2008292271 hasConceptScore W2008292271C134306372 @default.
• W2008292271 hasConceptScore W2008292271C154945302 @default.
• W2008292271 hasConceptScore W2008292271C161301231 @default.
• W2008292271 hasConceptScore W2008292271C177264268 @default.
• W2008292271 hasConceptScore W2008292271C17744445 @default.
• W2008292271 hasConceptScore W2008292271C182620335 @default.
• W2008292271 hasConceptScore W2008292271C199360897 @default.
• W2008292271 hasConceptScore W2008292271C199539241 @default.
• W2008292271 hasConceptScore W2008292271C20693621 @default.
• W2008292271 hasConceptScore W2008292271C25343380 @default.
• W2008292271 hasConceptScore W2008292271C2776359362 @default.
• W2008292271 hasConceptScore W2008292271C33923547 @default.
• W2008292271 hasConceptScore W2008292271C36503486 @default.
• W2008292271 hasConceptScore W2008292271C41008148 @default.
• W2008292271 hasConceptScore W2008292271C80444323 @default.
• W2008292271 hasConceptScore W2008292271C94625758 @default.
• W2008292271 hasIssue "1" @default.
• W2008292271 hasLocation W20082922711 @default.
• W2008292271 hasOpenAccess W2008292271 @default.
• W2008292271 hasPrimaryLocation W20082922711 @default.
• W2008292271 hasRelatedWork W1585363700 @default.
• W2008292271 hasRelatedWork W2008292271 @default.
• W2008292271 hasRelatedWork W2036349108 @default.
• W2008292271 hasRelatedWork W2119361337 @default.
• W2008292271 hasRelatedWork W2124627636 @default.
• W2008292271 hasRelatedWork W2176973685 @default.

• next