FRINK Linked Data Fragments server

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

• W1504926093 abstract "Abstract Access-limited logic (ALL) is a language for knowledge representation that formalizes the access limitations inherent in a network-structured knowledge base. Where a classical deductive method or logic programming language would retrieve all assertions that satisfy a given pattern, an access-limited logic retrieves all assertions reachable by following an available access path. The complexity of inference is thus independent of the size of the knowledge base and depends only on its local connectivity. Access-limited logic, though incomplete, still has a well-defined semantics and a weakened form of completeness, Socratic completeness , which guarantees that for any query that is a logical consequence of the knowledge base, there exists a series of queries after which the original query will succeed. This chapter presents an overview of ALL, and sketches the proofs of its Socratic completeness and polynomial time complexity." @default.
• W1504926093 created "2016-06-24" @default.
• W1504926093 creator A5070191324 @default.
• W1504926093 creator A5082248197 @default.
• W1504926093 date "1991-01-01" @default.
• W1504926093 modified "2023-09-27" @default.
• W1504926093 title "ALL" @default.
• W1504926093 cites W110177614 @default.
• W1504926093 cites W1481581263 @default.
• W1504926093 cites W1494857846 @default.
• W1504926093 cites W1499228415 @default.
• W1504926093 cites W1499759283 @default.
• W1504926093 cites W1527127371 @default.
• W1504926093 cites W1651030661 @default.
• W1504926093 cites W1884981359 @default.
• W1504926093 cites W1968431527 @default.
• W1504926093 cites W1994227541 @default.
• W1504926093 cites W2048810095 @default.
• W1504926093 cites W2053190303 @default.
• W1504926093 cites W2062843435 @default.
• W1504926093 cites W2085702524 @default.
• W1504926093 cites W2089253078 @default.
• W1504926093 cites W2091327243 @default.
• W1504926093 cites W2117753247 @default.
• W1504926093 cites W2141312052 @default.
• W1504926093 cites W2157145031 @default.
• W1504926093 cites W2157368609 @default.
• W1504926093 cites W2163908084 @default.
• W1504926093 cites W2174287231 @default.
• W1504926093 cites W2175268987 @default.
• W1504926093 cites W224624941 @default.
• W1504926093 cites W2329740751 @default.
• W1504926093 cites W2912848477 @default.
• W1504926093 doi "https://doi.org/10.1016/b978-1-4832-0771-1.50017-5" @default.
• W1504926093 hasPublicationYear "1991" @default.
• W1504926093 type Work @default.
• W1504926093 sameAs 1504926093 @default.
• W1504926093 citedByCount "2" @default.
• W1504926093 crossrefType "book-chapter" @default.
• W1504926093 hasAuthorship W1504926093A5070191324 @default.
• W1504926093 hasAuthorship W1504926093A5082248197 @default.
• W1504926093 hasConcept C102993220 @default.
• W1504926093 hasConcept C108710211 @default.
• W1504926093 hasConcept C128838566 @default.
• W1504926093 hasConcept C134306372 @default.
• W1504926093 hasConcept C134752490 @default.
• W1504926093 hasConcept C148230440 @default.
• W1504926093 hasConcept C154945302 @default.
• W1504926093 hasConcept C159032336 @default.
• W1504926093 hasConcept C161301231 @default.
• W1504926093 hasConcept C17231256 @default.
• W1504926093 hasConcept C199360897 @default.
• W1504926093 hasConcept C2524010 @default.
• W1504926093 hasConcept C2776214188 @default.
• W1504926093 hasConcept C33923547 @default.
• W1504926093 hasConcept C41008148 @default.
• W1504926093 hasConcept C4554734 @default.
• W1504926093 hasConcept C80444323 @default.
• W1504926093 hasConceptScore W1504926093C102993220 @default.
• W1504926093 hasConceptScore W1504926093C108710211 @default.
• W1504926093 hasConceptScore W1504926093C128838566 @default.
• W1504926093 hasConceptScore W1504926093C134306372 @default.
• W1504926093 hasConceptScore W1504926093C134752490 @default.
• W1504926093 hasConceptScore W1504926093C148230440 @default.
• W1504926093 hasConceptScore W1504926093C154945302 @default.
• W1504926093 hasConceptScore W1504926093C159032336 @default.
• W1504926093 hasConceptScore W1504926093C161301231 @default.
• W1504926093 hasConceptScore W1504926093C17231256 @default.
• W1504926093 hasConceptScore W1504926093C199360897 @default.
• W1504926093 hasConceptScore W1504926093C2524010 @default.
• W1504926093 hasConceptScore W1504926093C2776214188 @default.
• W1504926093 hasConceptScore W1504926093C33923547 @default.
• W1504926093 hasConceptScore W1504926093C41008148 @default.
• W1504926093 hasConceptScore W1504926093C4554734 @default.
• W1504926093 hasConceptScore W1504926093C80444323 @default.
• W1504926093 hasLocation W15049260931 @default.
• W1504926093 hasOpenAccess W1504926093 @default.
• W1504926093 hasPrimaryLocation W15049260931 @default.
• W1504926093 hasRelatedWork W147850248 @default.
• W1504926093 hasRelatedWork W1493799155 @default.
• W1504926093 hasRelatedWork W1537193727 @default.
• W1504926093 hasRelatedWork W1553033886 @default.
• W1504926093 hasRelatedWork W1584491222 @default.
• W1504926093 hasRelatedWork W1585132271 @default.
• W1504926093 hasRelatedWork W1757790192 @default.
• W1504926093 hasRelatedWork W1769188712 @default.
• W1504926093 hasRelatedWork W176967799 @default.
• W1504926093 hasRelatedWork W1976055110 @default.
• W1504926093 hasRelatedWork W2009897677 @default.
• W1504926093 hasRelatedWork W2293595599 @default.
• W1504926093 hasRelatedWork W2394927100 @default.
• W1504926093 hasRelatedWork W2401728195 @default.
• W1504926093 hasRelatedWork W2475352593 @default.
• W1504926093 hasRelatedWork W2903626475 @default.
• W1504926093 hasRelatedWork W3149708120 @default.
• W1504926093 hasRelatedWork W3210324698 @default.
• W1504926093 hasRelatedWork W88387621 @default.
• W1504926093 hasRelatedWork W194864983 @default.
• W1504926093 isParatext "false" @default.
• W1504926093 isRetracted "false" @default.

• next