Matches in SemOpenAlex for { <https://semopenalex.org/work/W809112379> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W809112379 abstract "In this paper we develop a sound, complete and terminating superposition calculus plus a query answering calculus for the BSH-Y2 fragment of the Bernays-Schoenfinkel Horn class of first-order logic. BSH-Y2 can be used to represent expressive ontologies. In addition to checking consistency, our calculus supports query answering for queries with arbitrary quantifier alternations. Experiments on BSH-Y2 (fragments) of several large ontologies show that our approach advances the state of the art." @default.
- W809112379 created "2016-06-24" @default.
- W809112379 creator A5046034681 @default.
- W809112379 creator A5065613367 @default.
- W809112379 date "2018-01-23" @default.
- W809112379 modified "2023-09-23" @default.
- W809112379 title "Satisfiability Checking and Query Answering for Large Ontologies" @default.
- W809112379 doi "https://doi.org/10.29007/n1sv" @default.
- W809112379 hasPublicationYear "2018" @default.
- W809112379 type Work @default.
- W809112379 sameAs 809112379 @default.
- W809112379 citedByCount "1" @default.
- W809112379 countsByYear W8091123792013 @default.
- W809112379 crossrefType "proceedings-article" @default.
- W809112379 hasAuthorship W809112379A5046034681 @default.
- W809112379 hasAuthorship W809112379A5065613367 @default.
- W809112379 hasBestOaLocation W8091123791 @default.
- W809112379 hasConcept C100481476 @default.
- W809112379 hasConcept C128838566 @default.
- W809112379 hasConcept C154945302 @default.
- W809112379 hasConcept C168773769 @default.
- W809112379 hasConcept C18460168 @default.
- W809112379 hasConcept C189790780 @default.
- W809112379 hasConcept C199360897 @default.
- W809112379 hasConcept C2776235265 @default.
- W809112379 hasConcept C2776436953 @default.
- W809112379 hasConcept C2777212361 @default.
- W809112379 hasConcept C2778523021 @default.
- W809112379 hasConcept C41008148 @default.
- W809112379 hasConcept C62360110 @default.
- W809112379 hasConcept C80444323 @default.
- W809112379 hasConceptScore W809112379C100481476 @default.
- W809112379 hasConceptScore W809112379C128838566 @default.
- W809112379 hasConceptScore W809112379C154945302 @default.
- W809112379 hasConceptScore W809112379C168773769 @default.
- W809112379 hasConceptScore W809112379C18460168 @default.
- W809112379 hasConceptScore W809112379C189790780 @default.
- W809112379 hasConceptScore W809112379C199360897 @default.
- W809112379 hasConceptScore W809112379C2776235265 @default.
- W809112379 hasConceptScore W809112379C2776436953 @default.
- W809112379 hasConceptScore W809112379C2777212361 @default.
- W809112379 hasConceptScore W809112379C2778523021 @default.
- W809112379 hasConceptScore W809112379C41008148 @default.
- W809112379 hasConceptScore W809112379C62360110 @default.
- W809112379 hasConceptScore W809112379C80444323 @default.
- W809112379 hasLocation W8091123791 @default.
- W809112379 hasLocation W8091123792 @default.
- W809112379 hasOpenAccess W809112379 @default.
- W809112379 hasPrimaryLocation W8091123791 @default.
- W809112379 hasRelatedWork W131260984 @default.
- W809112379 hasRelatedWork W1483892218 @default.
- W809112379 hasRelatedWork W1504825969 @default.
- W809112379 hasRelatedWork W1535925611 @default.
- W809112379 hasRelatedWork W2779744813 @default.
- W809112379 hasRelatedWork W2803425303 @default.
- W809112379 hasRelatedWork W3101316517 @default.
- W809112379 hasRelatedWork W3102630320 @default.
- W809112379 hasRelatedWork W4247229504 @default.
- W809112379 hasRelatedWork W4297690128 @default.
- W809112379 isParatext "false" @default.
- W809112379 isRetracted "false" @default.
- W809112379 magId "809112379" @default.
- W809112379 workType "article" @default.