Matches in SemOpenAlex for { <https://semopenalex.org/work/W38502423> ?p ?o ?g. }
- W38502423 endingPage "1165" @default.
- W38502423 startingPage "1160" @default.
- W38502423 abstract "ABox abduction is an important aspect for abductive reasoning in Description Logics (DLs). It finds all minimal sets of ABox axioms that should be added to a background ontology to enforce entailment of a specified set of ABox axioms. As far as we know, by now there is only one ABox abduction method in expressive DLs computing abductive solutions with certain minimality. However, the method targets an ABox abduction problem that may have infinitely many abductive solutions and may not output an abductive solution in finite time. Hence, in this paper we propose a new ABox abduction problem which has only finitely many abductive solutions and also propose a novel method to solve it. The method reduces the original problem to an abduction problem in logic programming and solves it with Prolog engines. Experimental results show that the method is able to compute abductive solutions in benchmark OWL DL ontologies with large ABoxes." @default.
- W38502423 created "2016-06-24" @default.
- W38502423 creator A5013530533 @default.
- W38502423 creator A5018193643 @default.
- W38502423 creator A5034606659 @default.
- W38502423 creator A5066422711 @default.
- W38502423 date "2011-08-04" @default.
- W38502423 modified "2023-09-23" @default.
- W38502423 title "Towards Practical ABox Abduction in Large OWL DL Ontologies" @default.
- W38502423 cites W106929792 @default.
- W38502423 cites W1488364561 @default.
- W38502423 cites W1505052967 @default.
- W38502423 cites W1989009626 @default.
- W38502423 cites W1990890881 @default.
- W38502423 cites W2069887068 @default.
- W38502423 cites W2080716125 @default.
- W38502423 cites W2107910552 @default.
- W38502423 cites W2118992936 @default.
- W38502423 cites W2132042004 @default.
- W38502423 cites W2142128908 @default.
- W38502423 cites W2151908737 @default.
- W38502423 cites W2586740098 @default.
- W38502423 cites W2772521659 @default.
- W38502423 cites W40003588 @default.
- W38502423 cites W2590474552 @default.
- W38502423 doi "https://doi.org/10.1609/aaai.v25i1.8070" @default.
- W38502423 hasPublicationYear "2011" @default.
- W38502423 type Work @default.
- W38502423 sameAs 38502423 @default.
- W38502423 citedByCount "21" @default.
- W38502423 countsByYear W385024232012 @default.
- W38502423 countsByYear W385024232013 @default.
- W38502423 countsByYear W385024232014 @default.
- W38502423 countsByYear W385024232015 @default.
- W38502423 countsByYear W385024232019 @default.
- W38502423 countsByYear W385024232020 @default.
- W38502423 countsByYear W385024232023 @default.
- W38502423 crossrefType "journal-article" @default.
- W38502423 hasAuthorship W38502423A5013530533 @default.
- W38502423 hasAuthorship W38502423A5018193643 @default.
- W38502423 hasAuthorship W38502423A5034606659 @default.
- W38502423 hasAuthorship W38502423A5066422711 @default.
- W38502423 hasBestOaLocation W385024231 @default.
- W38502423 hasConcept C101230327 @default.
- W38502423 hasConcept C102993220 @default.
- W38502423 hasConcept C111472728 @default.
- W38502423 hasConcept C13280743 @default.
- W38502423 hasConcept C134752490 @default.
- W38502423 hasConcept C138885662 @default.
- W38502423 hasConcept C154945302 @default.
- W38502423 hasConcept C159032336 @default.
- W38502423 hasConcept C166088908 @default.
- W38502423 hasConcept C167729594 @default.
- W38502423 hasConcept C177264268 @default.
- W38502423 hasConcept C185798385 @default.
- W38502423 hasConcept C199360897 @default.
- W38502423 hasConcept C205649164 @default.
- W38502423 hasConcept C2129575 @default.
- W38502423 hasConcept C2524010 @default.
- W38502423 hasConcept C25810664 @default.
- W38502423 hasConcept C33923547 @default.
- W38502423 hasConcept C41008148 @default.
- W38502423 hasConcept C80444323 @default.
- W38502423 hasConceptScore W38502423C101230327 @default.
- W38502423 hasConceptScore W38502423C102993220 @default.
- W38502423 hasConceptScore W38502423C111472728 @default.
- W38502423 hasConceptScore W38502423C13280743 @default.
- W38502423 hasConceptScore W38502423C134752490 @default.
- W38502423 hasConceptScore W38502423C138885662 @default.
- W38502423 hasConceptScore W38502423C154945302 @default.
- W38502423 hasConceptScore W38502423C159032336 @default.
- W38502423 hasConceptScore W38502423C166088908 @default.
- W38502423 hasConceptScore W38502423C167729594 @default.
- W38502423 hasConceptScore W38502423C177264268 @default.
- W38502423 hasConceptScore W38502423C185798385 @default.
- W38502423 hasConceptScore W38502423C199360897 @default.
- W38502423 hasConceptScore W38502423C205649164 @default.
- W38502423 hasConceptScore W38502423C2129575 @default.
- W38502423 hasConceptScore W38502423C2524010 @default.
- W38502423 hasConceptScore W38502423C25810664 @default.
- W38502423 hasConceptScore W38502423C33923547 @default.
- W38502423 hasConceptScore W38502423C41008148 @default.
- W38502423 hasConceptScore W38502423C80444323 @default.
- W38502423 hasIssue "1" @default.
- W38502423 hasLocation W385024231 @default.
- W38502423 hasOpenAccess W38502423 @default.
- W38502423 hasPrimaryLocation W385024231 @default.
- W38502423 hasRelatedWork W1489624549 @default.
- W38502423 hasRelatedWork W1537126384 @default.
- W38502423 hasRelatedWork W2000282981 @default.
- W38502423 hasRelatedWork W2037522339 @default.
- W38502423 hasRelatedWork W2114826642 @default.
- W38502423 hasRelatedWork W2136512627 @default.
- W38502423 hasRelatedWork W2394634544 @default.
- W38502423 hasRelatedWork W2406994475 @default.
- W38502423 hasRelatedWork W3164348836 @default.
- W38502423 hasRelatedWork W38502423 @default.
- W38502423 hasVolume "25" @default.