Matches in SemOpenAlex for { <https://semopenalex.org/work/W3188856588> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W3188856588 abstract "Description Logics (DLs) support so-called anonymous objects, which significantly contribute to the expressiveness of these KR languages, but also cause substantial computational challenges. This paper investigates reasoning about upper bounds on predicate sizes for ontologies written in the expressive DL ALCHOIQ extended with closed predicates. We describe a procedure based on integer programming that allows us to decide the existence of upper bounds on the cardinality of some predicate in the models of a given ontology in a data-independent way. Our results yield a promising supporting tool for constructing higher quality ontologies, and provide a new way to push the decidability frontiers. To wit, we define a new safety condition for Datalog-based queries over DL ontologies, while retaining decidability of query entailment." @default.
- W3188856588 created "2021-08-16" @default.
- W3188856588 creator A5020109081 @default.
- W3188856588 creator A5079813467 @default.
- W3188856588 date "2021-08-01" @default.
- W3188856588 modified "2023-09-26" @default.
- W3188856588 title "Bounded Predicates in Description Logics with Counting" @default.
- W3188856588 cites W1490430258 @default.
- W3188856588 cites W1551807230 @default.
- W3188856588 cites W1971428581 @default.
- W3188856588 cites W1997817571 @default.
- W3188856588 cites W2092207224 @default.
- W3188856588 cites W2131566236 @default.
- W3188856588 cites W2140859480 @default.
- W3188856588 cites W2229645325 @default.
- W3188856588 cites W2397664909 @default.
- W3188856588 cites W2838709227 @default.
- W3188856588 cites W3089623425 @default.
- W3188856588 cites W1791430325 @default.
- W3188856588 doi "https://doi.org/10.24963/ijcai.2021/271" @default.
- W3188856588 hasPublicationYear "2021" @default.
- W3188856588 type Work @default.
- W3188856588 sameAs 3188856588 @default.
- W3188856588 citedByCount "0" @default.
- W3188856588 crossrefType "proceedings-article" @default.
- W3188856588 hasAuthorship W3188856588A5020109081 @default.
- W3188856588 hasAuthorship W3188856588A5079813467 @default.
- W3188856588 hasBestOaLocation W31888565881 @default.
- W3188856588 hasConcept C102993220 @default.
- W3188856588 hasConcept C110039528 @default.
- W3188856588 hasConcept C134306372 @default.
- W3188856588 hasConcept C134752490 @default.
- W3188856588 hasConcept C140146324 @default.
- W3188856588 hasConcept C148230440 @default.
- W3188856588 hasConcept C153269930 @default.
- W3188856588 hasConcept C154945302 @default.
- W3188856588 hasConcept C199360897 @default.
- W3188856588 hasConcept C203659156 @default.
- W3188856588 hasConcept C33923547 @default.
- W3188856588 hasConcept C34388435 @default.
- W3188856588 hasConcept C41008148 @default.
- W3188856588 hasConcept C5655090 @default.
- W3188856588 hasConcept C65647387 @default.
- W3188856588 hasConcept C73314972 @default.
- W3188856588 hasConcept C77088390 @default.
- W3188856588 hasConcept C77553402 @default.
- W3188856588 hasConcept C80444323 @default.
- W3188856588 hasConcept C87117476 @default.
- W3188856588 hasConceptScore W3188856588C102993220 @default.
- W3188856588 hasConceptScore W3188856588C110039528 @default.
- W3188856588 hasConceptScore W3188856588C134306372 @default.
- W3188856588 hasConceptScore W3188856588C134752490 @default.
- W3188856588 hasConceptScore W3188856588C140146324 @default.
- W3188856588 hasConceptScore W3188856588C148230440 @default.
- W3188856588 hasConceptScore W3188856588C153269930 @default.
- W3188856588 hasConceptScore W3188856588C154945302 @default.
- W3188856588 hasConceptScore W3188856588C199360897 @default.
- W3188856588 hasConceptScore W3188856588C203659156 @default.
- W3188856588 hasConceptScore W3188856588C33923547 @default.
- W3188856588 hasConceptScore W3188856588C34388435 @default.
- W3188856588 hasConceptScore W3188856588C41008148 @default.
- W3188856588 hasConceptScore W3188856588C5655090 @default.
- W3188856588 hasConceptScore W3188856588C65647387 @default.
- W3188856588 hasConceptScore W3188856588C73314972 @default.
- W3188856588 hasConceptScore W3188856588C77088390 @default.
- W3188856588 hasConceptScore W3188856588C77553402 @default.
- W3188856588 hasConceptScore W3188856588C80444323 @default.
- W3188856588 hasConceptScore W3188856588C87117476 @default.
- W3188856588 hasLocation W31888565881 @default.
- W3188856588 hasOpenAccess W3188856588 @default.
- W3188856588 hasPrimaryLocation W31888565881 @default.
- W3188856588 hasRelatedWork W1746884077 @default.
- W3188856588 hasRelatedWork W2572769649 @default.
- W3188856588 hasRelatedWork W2724928203 @default.
- W3188856588 hasRelatedWork W2926816154 @default.
- W3188856588 hasRelatedWork W2943891349 @default.
- W3188856588 hasRelatedWork W2963287580 @default.
- W3188856588 hasRelatedWork W3006353527 @default.
- W3188856588 hasRelatedWork W3089623425 @default.
- W3188856588 hasRelatedWork W3188856588 @default.
- W3188856588 hasRelatedWork W4301433002 @default.
- W3188856588 isParatext "false" @default.
- W3188856588 isRetracted "false" @default.
- W3188856588 magId "3188856588" @default.
- W3188856588 workType "article" @default.