Matches in SemOpenAlex for { <https://semopenalex.org/work/W2625667536> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2625667536 abstract "In this paper we consider the most common ABox reasoning services for the description logic $dlssx$ ($shdlssx$, for short) and prove their decidability via a reduction to the satisfiability problem for the set-theoretic fragment flqsr. The description logic $shdlssx$ is very expressive, as it admits various concept and role constructs, and data types, that allow one to represent rule-based languages such as SWRL. Decidability results are achieved by defining a generalization of the conjunctive query answering problem, called HOCQA (Higher Order Conjunctive Query Answering), that can be instantiated to the most wide-spread ABox reasoning tasks. We also present a kespace based procedure for calculating the answer set from $shdlssx$ knowledge bases and higher order $shdlssx$ conjunctive queries, thus providing means for reasoning on several well-known ABox reasoning tasks. Our calculus extends a previously introduced kespace based decision procedure for the CQA problem." @default.
- W2625667536 created "2017-06-23" @default.
- W2625667536 creator A5005125860 @default.
- W2625667536 creator A5016864296 @default.
- W2625667536 creator A5021862093 @default.
- W2625667536 creator A5047265550 @default.
- W2625667536 creator A5083972852 @default.
- W2625667536 creator A5091674970 @default.
- W2625667536 date "2017-01-01" @default.
- W2625667536 modified "2023-10-15" @default.
- W2625667536 title "Rules and Reasoning" @default.
- W2625667536 doi "https://doi.org/10.1007/978-3-319-61252-2" @default.
- W2625667536 hasPublicationYear "2017" @default.
- W2625667536 type Work @default.
- W2625667536 sameAs 2625667536 @default.
- W2625667536 citedByCount "0" @default.
- W2625667536 crossrefType "book" @default.
- W2625667536 hasAuthorship W2625667536A5005125860 @default.
- W2625667536 hasAuthorship W2625667536A5016864296 @default.
- W2625667536 hasAuthorship W2625667536A5021862093 @default.
- W2625667536 hasAuthorship W2625667536A5047265550 @default.
- W2625667536 hasAuthorship W2625667536A5083972852 @default.
- W2625667536 hasAuthorship W2625667536A5091674970 @default.
- W2625667536 hasBestOaLocation W26256675362 @default.
- W2625667536 hasConcept C102993220 @default.
- W2625667536 hasConcept C134306372 @default.
- W2625667536 hasConcept C153269930 @default.
- W2625667536 hasConcept C159032336 @default.
- W2625667536 hasConcept C164120249 @default.
- W2625667536 hasConcept C168773769 @default.
- W2625667536 hasConcept C177148314 @default.
- W2625667536 hasConcept C177264268 @default.
- W2625667536 hasConcept C182620335 @default.
- W2625667536 hasConcept C192939062 @default.
- W2625667536 hasConcept C195344581 @default.
- W2625667536 hasConcept C199360897 @default.
- W2625667536 hasConcept C23123220 @default.
- W2625667536 hasConcept C24755975 @default.
- W2625667536 hasConcept C2776235265 @default.
- W2625667536 hasConcept C33923547 @default.
- W2625667536 hasConcept C41008148 @default.
- W2625667536 hasConcept C5655090 @default.
- W2625667536 hasConcept C65647387 @default.
- W2625667536 hasConcept C6943359 @default.
- W2625667536 hasConcept C80444323 @default.
- W2625667536 hasConcept C89288958 @default.
- W2625667536 hasConcept C97854310 @default.
- W2625667536 hasConceptScore W2625667536C102993220 @default.
- W2625667536 hasConceptScore W2625667536C134306372 @default.
- W2625667536 hasConceptScore W2625667536C153269930 @default.
- W2625667536 hasConceptScore W2625667536C159032336 @default.
- W2625667536 hasConceptScore W2625667536C164120249 @default.
- W2625667536 hasConceptScore W2625667536C168773769 @default.
- W2625667536 hasConceptScore W2625667536C177148314 @default.
- W2625667536 hasConceptScore W2625667536C177264268 @default.
- W2625667536 hasConceptScore W2625667536C182620335 @default.
- W2625667536 hasConceptScore W2625667536C192939062 @default.
- W2625667536 hasConceptScore W2625667536C195344581 @default.
- W2625667536 hasConceptScore W2625667536C199360897 @default.
- W2625667536 hasConceptScore W2625667536C23123220 @default.
- W2625667536 hasConceptScore W2625667536C24755975 @default.
- W2625667536 hasConceptScore W2625667536C2776235265 @default.
- W2625667536 hasConceptScore W2625667536C33923547 @default.
- W2625667536 hasConceptScore W2625667536C41008148 @default.
- W2625667536 hasConceptScore W2625667536C5655090 @default.
- W2625667536 hasConceptScore W2625667536C65647387 @default.
- W2625667536 hasConceptScore W2625667536C6943359 @default.
- W2625667536 hasConceptScore W2625667536C80444323 @default.
- W2625667536 hasConceptScore W2625667536C89288958 @default.
- W2625667536 hasConceptScore W2625667536C97854310 @default.
- W2625667536 hasLocation W26256675361 @default.
- W2625667536 hasLocation W26256675362 @default.
- W2625667536 hasOpenAccess W2625667536 @default.
- W2625667536 hasPrimaryLocation W26256675361 @default.
- W2625667536 hasRelatedWork W1509799780 @default.
- W2625667536 hasRelatedWork W2117897681 @default.
- W2625667536 hasRelatedWork W2403504633 @default.
- W2625667536 hasRelatedWork W2469887214 @default.
- W2625667536 hasRelatedWork W2572769649 @default.
- W2625667536 hasRelatedWork W2589101975 @default.
- W2625667536 hasRelatedWork W2594911673 @default.
- W2625667536 hasRelatedWork W2625667536 @default.
- W2625667536 hasRelatedWork W2963884565 @default.
- W2625667536 hasRelatedWork W2624768566 @default.
- W2625667536 isParatext "false" @default.
- W2625667536 isRetracted "false" @default.
- W2625667536 magId "2625667536" @default.
- W2625667536 workType "book" @default.