FRINK Linked Data Fragments server

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

• W2562912738 endingPage "1007" @default.
• W2562912738 startingPage "1001" @default.
• W2562912738 abstract "We investigate the problem whether two ALC knowledge bases are indistinguishable by queries over a given vocabulary. We give model-theoretic criteria and prove that this problem is undecidable for conjunctive queries (CQs) but decidable in 2EXPTIME for unions of rooted CQs. We also consider the problem whether two ALC TBoxes give the same answers to any query in a given vocabulary over all ABoxes, and show that for CQs this problem is undecidable, too, but becomes decidable and 2EXPTIME-complete in Horn-ALC, and even EXPTIME-complete in Horn-ALC when restricted to (unions of) rooted CQs." @default.
• W2562912738 created "2017-01-06" @default.
• W2562912738 creator A5001878365 @default.
• W2562912738 creator A5010967150 @default.
• W2562912738 creator A5034616829 @default.
• W2562912738 creator A5038062752 @default.
• W2562912738 creator A5085419553 @default.
• W2562912738 date "2016-07-09" @default.
• W2562912738 modified "2023-09-26" @default.
• W2562912738 title "Query-based entailment and inseparability for ALC ontologies" @default.
• W2562912738 cites W1482134990 @default.
• W2562912738 cites W1483388050 @default.
• W2562912738 cites W1492864441 @default.
• W2562912738 cites W1510716341 @default.
• W2562912738 cites W1517574009 @default.
• W2562912738 cites W1528986923 @default.
• W2562912738 cites W1537126384 @default.
• W2562912738 cites W1549064707 @default.
• W2562912738 cites W1555563750 @default.
• W2562912738 cites W1719493742 @default.
• W2562912738 cites W1830094896 @default.
• W2562912738 cites W1979514837 @default.
• W2562912738 cites W2050143279 @default.
• W2562912738 cites W2064593774 @default.
• W2562912738 cites W2094689321 @default.
• W2562912738 cites W2095844777 @default.
• W2562912738 cites W2099367286 @default.
• W2562912738 cites W2106251409 @default.
• W2562912738 cites W2126608643 @default.
• W2562912738 cites W2137862151 @default.
• W2562912738 cites W2140590662 @default.
• W2562912738 cites W2168344789 @default.
• W2562912738 cites W2342352564 @default.
• W2562912738 cites W2402573582 @default.
• W2562912738 cites W2763521382 @default.
• W2562912738 cites W2799061192 @default.
• W2562912738 hasPublicationYear "2016" @default.
• W2562912738 type Work @default.
• W2562912738 sameAs 2562912738 @default.
• W2562912738 citedByCount "4" @default.
• W2562912738 countsByYear W25629127382017 @default.
• W2562912738 countsByYear W25629127382018 @default.
• W2562912738 crossrefType "proceedings-article" @default.
• W2562912738 hasAuthorship W2562912738A5001878365 @default.
• W2562912738 hasAuthorship W2562912738A5010967150 @default.
• W2562912738 hasAuthorship W2562912738A5034616829 @default.
• W2562912738 hasAuthorship W2562912738A5038062752 @default.
• W2562912738 hasAuthorship W2562912738A5085419553 @default.
• W2562912738 hasConcept C102993220 @default.
• W2562912738 hasConcept C118615104 @default.
• W2562912738 hasConcept C134752490 @default.
• W2562912738 hasConcept C138885662 @default.
• W2562912738 hasConcept C153269930 @default.
• W2562912738 hasConcept C154945302 @default.
• W2562912738 hasConcept C192034797 @default.
• W2562912738 hasConcept C23123220 @default.
• W2562912738 hasConcept C2777601683 @default.
• W2562912738 hasConcept C33923547 @default.
• W2562912738 hasConcept C41008148 @default.
• W2562912738 hasConcept C41895202 @default.
• W2562912738 hasConcept C5655090 @default.
• W2562912738 hasConcept C65647387 @default.
• W2562912738 hasConcept C80444323 @default.
• W2562912738 hasConceptScore W2562912738C102993220 @default.
• W2562912738 hasConceptScore W2562912738C118615104 @default.
• W2562912738 hasConceptScore W2562912738C134752490 @default.
• W2562912738 hasConceptScore W2562912738C138885662 @default.
• W2562912738 hasConceptScore W2562912738C153269930 @default.
• W2562912738 hasConceptScore W2562912738C154945302 @default.
• W2562912738 hasConceptScore W2562912738C192034797 @default.
• W2562912738 hasConceptScore W2562912738C23123220 @default.
• W2562912738 hasConceptScore W2562912738C2777601683 @default.
• W2562912738 hasConceptScore W2562912738C33923547 @default.
• W2562912738 hasConceptScore W2562912738C41008148 @default.
• W2562912738 hasConceptScore W2562912738C41895202 @default.
• W2562912738 hasConceptScore W2562912738C5655090 @default.
• W2562912738 hasConceptScore W2562912738C65647387 @default.
• W2562912738 hasConceptScore W2562912738C80444323 @default.
• W2562912738 hasLocation W25629127381 @default.
• W2562912738 hasOpenAccess W2562912738 @default.
• W2562912738 hasPrimaryLocation W25629127381 @default.
• W2562912738 hasRelatedWork W1258397234 @default.
• W2562912738 hasRelatedWork W1482134990 @default.
• W2562912738 hasRelatedWork W1848106100 @default.
• W2562912738 hasRelatedWork W2099367286 @default.
• W2562912738 hasRelatedWork W2107910552 @default.
• W2562912738 hasRelatedWork W2126608643 @default.
• W2562912738 hasRelatedWork W2137862151 @default.
• W2562912738 hasRelatedWork W2153286631 @default.
• W2562912738 hasRelatedWork W2168344789 @default.
• W2562912738 hasRelatedWork W2278564037 @default.
• W2562912738 hasRelatedWork W2401939579 @default.
• W2562912738 hasRelatedWork W2572335555 @default.
• W2562912738 hasRelatedWork W2578594172 @default.
• W2562912738 hasRelatedWork W2741843177 @default.
• W2562912738 hasRelatedWork W2963182274 @default.
• W2562912738 hasRelatedWork W2965350305 @default.
• W2562912738 hasRelatedWork W3089623425 @default.

• next