FRINK Linked Data Fragments server

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

• W1510087232 endingPage "591" @default.
• W1510087232 startingPage "585" @default.
• W1510087232 abstract "Building complex knowledge based applications requires encoding large amounts of domain knowledge. After acquiring knowledge from domain experts, much of the effort in building a knowledge base goes into verifying that the knowledge is encoded correctly. We consider the problem of verifying hybrid knowledge bases that contain both Horn rules and a terminology in a description logic. Our approach to the verification problem is based on showing a close relationship to the problem of query containment. Our first contribution, based on this relationship, is presenting a thorough analysis of the decidability and complexity of the verification problem, for knowledge bases containing recursive rules and the interpreted predicates =, ≤, < and ≠. Second, we show that important new classes of constraints on correct inputs and outputs can be expressed in a hybrid setting, in which a description logic class hierarchy is also considered, and we present the first complete algorithm for verifying such hybrid knowledge bases." @default.
• W1510087232 created "2016-06-24" @default.
• W1510087232 creator A5030687097 @default.
• W1510087232 creator A5079663061 @default.
• W1510087232 date "1996-08-04" @default.
• W1510087232 modified "2023-09-26" @default.
• W1510087232 title "Verification of knowledge bases based on containment checking" @default.
• W1510087232 cites W13925634 @default.
• W1510087232 cites W1498153914 @default.
• W1510087232 cites W1514356467 @default.
• W1510087232 cites W1536088796 @default.
• W1510087232 cites W174875978 @default.
• W1510087232 cites W1992681763 @default.
• W1510087232 cites W1992810975 @default.
• W1510087232 cites W2025868887 @default.
• W1510087232 cites W2028222220 @default.
• W1510087232 cites W2028864278 @default.
• W1510087232 cites W2039832885 @default.
• W1510087232 cites W2056660085 @default.
• W1510087232 cites W208439881 @default.
• W1510087232 cites W2110463644 @default.
• W1510087232 cites W2159525276 @default.
• W1510087232 cites W2171094216 @default.
• W1510087232 cites W2172111502 @default.
• W1510087232 cites W2270745039 @default.
• W1510087232 cites W229019754 @default.
• W1510087232 cites W2487964923 @default.
• W1510087232 cites W27258760 @default.
• W1510087232 cites W87432413 @default.
• W1510087232 cites W90144283 @default.
• W1510087232 cites W2017372888 @default.
• W1510087232 hasPublicationYear "1996" @default.
• W1510087232 type Work @default.
• W1510087232 sameAs 1510087232 @default.
• W1510087232 citedByCount "8" @default.
• W1510087232 countsByYear W15100872322015 @default.
• W1510087232 crossrefType "proceedings-article" @default.
• W1510087232 hasAuthorship W1510087232A5030687097 @default.
• W1510087232 hasAuthorship W1510087232A5079663061 @default.
• W1510087232 hasConcept C102993220 @default.
• W1510087232 hasConcept C115925183 @default.
• W1510087232 hasConcept C120567893 @default.
• W1510087232 hasConcept C128838566 @default.
• W1510087232 hasConcept C134306372 @default.
• W1510087232 hasConcept C138885662 @default.
• W1510087232 hasConcept C153269930 @default.
• W1510087232 hasConcept C154945302 @default.
• W1510087232 hasConcept C161301231 @default.
• W1510087232 hasConcept C162324750 @default.
• W1510087232 hasConcept C189790780 @default.
• W1510087232 hasConcept C199360897 @default.
• W1510087232 hasConcept C207685749 @default.
• W1510087232 hasConcept C2776235265 @default.
• W1510087232 hasConcept C2777019822 @default.
• W1510087232 hasConcept C2777212361 @default.
• W1510087232 hasConcept C31170391 @default.
• W1510087232 hasConcept C33923547 @default.
• W1510087232 hasConcept C34447519 @default.
• W1510087232 hasConcept C36503486 @default.
• W1510087232 hasConcept C41008148 @default.
• W1510087232 hasConcept C41895202 @default.
• W1510087232 hasConcept C4554734 @default.
• W1510087232 hasConcept C547195049 @default.
• W1510087232 hasConcept C80444323 @default.
• W1510087232 hasConceptScore W1510087232C102993220 @default.
• W1510087232 hasConceptScore W1510087232C115925183 @default.
• W1510087232 hasConceptScore W1510087232C120567893 @default.
• W1510087232 hasConceptScore W1510087232C128838566 @default.
• W1510087232 hasConceptScore W1510087232C134306372 @default.
• W1510087232 hasConceptScore W1510087232C138885662 @default.
• W1510087232 hasConceptScore W1510087232C153269930 @default.
• W1510087232 hasConceptScore W1510087232C154945302 @default.
• W1510087232 hasConceptScore W1510087232C161301231 @default.
• W1510087232 hasConceptScore W1510087232C162324750 @default.
• W1510087232 hasConceptScore W1510087232C189790780 @default.
• W1510087232 hasConceptScore W1510087232C199360897 @default.
• W1510087232 hasConceptScore W1510087232C207685749 @default.
• W1510087232 hasConceptScore W1510087232C2776235265 @default.
• W1510087232 hasConceptScore W1510087232C2777019822 @default.
• W1510087232 hasConceptScore W1510087232C2777212361 @default.
• W1510087232 hasConceptScore W1510087232C31170391 @default.
• W1510087232 hasConceptScore W1510087232C33923547 @default.
• W1510087232 hasConceptScore W1510087232C34447519 @default.
• W1510087232 hasConceptScore W1510087232C36503486 @default.
• W1510087232 hasConceptScore W1510087232C41008148 @default.
• W1510087232 hasConceptScore W1510087232C41895202 @default.
• W1510087232 hasConceptScore W1510087232C4554734 @default.
• W1510087232 hasConceptScore W1510087232C547195049 @default.
• W1510087232 hasConceptScore W1510087232C80444323 @default.
• W1510087232 hasOpenAccess W1510087232 @default.
• W1510087232 hasRelatedWork W144569723 @default.
• W1510087232 hasRelatedWork W1510675600 @default.
• W1510087232 hasRelatedWork W1592310753 @default.
• W1510087232 hasRelatedWork W1719493742 @default.
• W1510087232 hasRelatedWork W1850639582 @default.
• W1510087232 hasRelatedWork W1986238576 @default.
• W1510087232 hasRelatedWork W1988791366 @default.
• W1510087232 hasRelatedWork W2000765645 @default.

• next