FRINK Linked Data Fragments server

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

• W3100976664 endingPage "476" @default.
• W3100976664 startingPage "419" @default.
• W3100976664 abstract "To achieve scalability of query answering, the developers of Semantic Web applications are often forced to use incomplete OWL 2 reasoners, which fail to derive all answers for at least one query, ontology, and data set. The lack of completeness guarantees, however, may be unacceptable for applications in areas such as health care and defence, where missing answers can adversely affect the application's functionality. Furthermore, even if an application can tolerate some level of incompleteness, it is often advantageous to estimate how many and what kind of answers are being lost. In this paper, we present a novel logic-based framework that allows one to check whether a reasoner is complete for a given query Q and ontology T---that is, whether the reasoner is guaranteed to compute all answers to Q w.r.t. T and an arbitrary data set A. Since ontologies and typical queries are often fixed at application design time, our approach allows application developers to check whether a reasoner known to be incomplete in general is actually complete for the kinds of input relevant for the application. We also present a technique that, given a query Q, an ontology T, and reasoners R_1 and R_2 that satisfy certain assumptions, can be used to determine whether, for each data set A, reasoner R_1 computes more answers to Q w.r.t. T and A than reasoner R_2. This allows application developers to select the reasoner that provides the highest degree of completeness for Q and T that is compatible with the application's scalability requirements. Our results thus provide a theoretical and practical foundation for the design of future ontology-based information systems that maximise scalability while minimising or even eliminating incompleteness of query answers." @default.
• W3100976664 created "2020-11-23" @default.
• W3100976664 creator A5023732514 @default.
• W3100976664 creator A5049201950 @default.
• W3100976664 creator A5060350556 @default.
• W3100976664 creator A5077636035 @default.
• W3100976664 date "2012-03-29" @default.
• W3100976664 modified "2023-10-14" @default.
• W3100976664 title "Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice" @default.
• W3100976664 cites W106929792 @default.
• W3100976664 cites W112415505 @default.
• W3100976664 cites W142178240 @default.
• W3100976664 cites W1481314305 @default.
• W3100976664 cites W1494643504 @default.
• W3100976664 cites W1495014783 @default.
• W3100976664 cites W1528986923 @default.
• W3100976664 cites W1549103420 @default.
• W3100976664 cites W1554618854 @default.
• W3100976664 cites W1555563750 @default.
• W3100976664 cites W1578906473 @default.
• W3100976664 cites W1589560471 @default.
• W3100976664 cites W1592687935 @default.
• W3100976664 cites W1670748022 @default.
• W3100976664 cites W1751091745 @default.
• W3100976664 cites W1756261662 @default.
• W3100976664 cites W1812636409 @default.
• W3100976664 cites W1989009626 @default.
• W3100976664 cites W1990890881 @default.
• W3100976664 cites W2038608154 @default.
• W3100976664 cites W2047377242 @default.
• W3100976664 cites W2065194600 @default.
• W3100976664 cites W2121723702 @default.
• W3100976664 cites W2132777690 @default.
• W3100976664 cites W2135109168 @default.
• W3100976664 cites W2137862151 @default.
• W3100976664 cites W2139315672 @default.
• W3100976664 cites W2147032551 @default.
• W3100976664 cites W2147729309 @default.
• W3100976664 cites W2148096737 @default.
• W3100976664 cites W2154829072 @default.
• W3100976664 cites W2167685423 @default.
• W3100976664 cites W2242459625 @default.
• W3100976664 cites W2248098515 @default.
• W3100976664 cites W2404491913 @default.
• W3100976664 cites W2491357396 @default.
• W3100976664 cites W3101483322 @default.
• W3100976664 cites W3101974058 @default.
• W3100976664 cites W55841286 @default.
• W3100976664 cites W62327733 @default.
• W3100976664 cites W2576877206 @default.
• W3100976664 cites W2590474552 @default.
• W3100976664 doi "https://doi.org/10.1613/jair.3470" @default.
• W3100976664 hasPublicationYear "2012" @default.
• W3100976664 type Work @default.
• W3100976664 sameAs 3100976664 @default.
• W3100976664 citedByCount "19" @default.
• W3100976664 countsByYear W31009766642012 @default.
• W3100976664 countsByYear W31009766642013 @default.
• W3100976664 countsByYear W31009766642014 @default.
• W3100976664 countsByYear W31009766642015 @default.
• W3100976664 countsByYear W31009766642016 @default.
• W3100976664 countsByYear W31009766642018 @default.
• W3100976664 countsByYear W31009766642019 @default.
• W3100976664 countsByYear W31009766642021 @default.
• W3100976664 countsByYear W31009766642022 @default.
• W3100976664 countsByYear W31009766642023 @default.
• W3100976664 crossrefType "journal-article" @default.
• W3100976664 hasAuthorship W3100976664A5023732514 @default.
• W3100976664 hasAuthorship W3100976664A5049201950 @default.
• W3100976664 hasAuthorship W3100976664A5060350556 @default.
• W3100976664 hasAuthorship W3100976664A5077636035 @default.
• W3100976664 hasBestOaLocation W31009766641 @default.
• W3100976664 hasConcept C101230327 @default.
• W3100976664 hasConcept C102993220 @default.
• W3100976664 hasConcept C111472728 @default.
• W3100976664 hasConcept C134306372 @default.
• W3100976664 hasConcept C138885662 @default.
• W3100976664 hasConcept C154945302 @default.
• W3100976664 hasConcept C17231256 @default.
• W3100976664 hasConcept C177264268 @default.
• W3100976664 hasConcept C199360897 @default.
• W3100976664 hasConcept C2129575 @default.
• W3100976664 hasConcept C23123220 @default.
• W3100976664 hasConcept C25810664 @default.
• W3100976664 hasConcept C33923547 @default.
• W3100976664 hasConcept C41008148 @default.
• W3100976664 hasConcept C48044578 @default.
• W3100976664 hasConcept C5655090 @default.
• W3100976664 hasConcept C65647387 @default.
• W3100976664 hasConcept C77088390 @default.
• W3100976664 hasConcept C80444323 @default.
• W3100976664 hasConcept C9616225 @default.
• W3100976664 hasConceptScore W3100976664C101230327 @default.
• W3100976664 hasConceptScore W3100976664C102993220 @default.
• W3100976664 hasConceptScore W3100976664C111472728 @default.
• W3100976664 hasConceptScore W3100976664C134306372 @default.
• W3100976664 hasConceptScore W3100976664C138885662 @default.
• W3100976664 hasConceptScore W3100976664C154945302 @default.

• next