Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014302401> ?p ?o ?g. }
- W2014302401 endingPage "33" @default.
- W2014302401 startingPage "1" @default.
- W2014302401 abstract "ABox abduction is an important reasoning facility in Description Logics (DLs). It finds all minimal sets of ABox axioms, called abductive solutions, which should be added to a background ontology to enforce entailment of an observation which is a specified set of ABox axioms. However, ABox abduction is far from practical by now because there lack feasible methods working in finite time for expressive DLs. To pave a way to practical ABox abduction, this paper proposes a new problem for ABox abduction and a new method for computing abductive solutions accordingly. The proposed problem guarantees finite number of abductive solutions. The proposed method works in finite time for a very expressive DL, , which underpins the W3C standard language OWL 2, and guarantees soundness and conditional completeness of computed results. Experimental results on benchmark ontologies show that the method is feasible and can scale to large ABoxes." @default.
- W2014302401 created "2016-06-24" @default.
- W2014302401 creator A5013530533 @default.
- W2014302401 creator A5015673839 @default.
- W2014302401 creator A5018193643 @default.
- W2014302401 creator A5066422711 @default.
- W2014302401 date "2012-04-01" @default.
- W2014302401 modified "2023-09-29" @default.
- W2014302401 title "Towards Practical ABox Abduction in Large Description Logic Ontologies" @default.
- W2014302401 cites W139336485 @default.
- W2014302401 cites W1523017397 @default.
- W2014302401 cites W1554618854 @default.
- W2014302401 cites W1761910806 @default.
- W2014302401 cites W1989009626 @default.
- W2014302401 cites W1990890881 @default.
- W2014302401 cites W2069887068 @default.
- W2014302401 cites W2071787143 @default.
- W2014302401 cites W2080716125 @default.
- W2014302401 cites W2100657934 @default.
- W2014302401 cites W2107910552 @default.
- W2014302401 cites W2118992936 @default.
- W2014302401 cites W2132042004 @default.
- W2014302401 cites W2139315672 @default.
- W2014302401 cites W2151908737 @default.
- W2014302401 cites W2154829072 @default.
- W2014302401 cites W2295882966 @default.
- W2014302401 cites W38502423 @default.
- W2014302401 cites W4300129298 @default.
- W2014302401 doi "https://doi.org/10.4018/jswis.2012040101" @default.
- W2014302401 hasPublicationYear "2012" @default.
- W2014302401 type Work @default.
- W2014302401 sameAs 2014302401 @default.
- W2014302401 citedByCount "20" @default.
- W2014302401 countsByYear W20143024012013 @default.
- W2014302401 countsByYear W20143024012014 @default.
- W2014302401 countsByYear W20143024012015 @default.
- W2014302401 countsByYear W20143024012016 @default.
- W2014302401 countsByYear W20143024012017 @default.
- W2014302401 countsByYear W20143024012020 @default.
- W2014302401 countsByYear W20143024012021 @default.
- W2014302401 countsByYear W20143024012022 @default.
- W2014302401 countsByYear W20143024012023 @default.
- W2014302401 crossrefType "journal-article" @default.
- W2014302401 hasAuthorship W2014302401A5013530533 @default.
- W2014302401 hasAuthorship W2014302401A5015673839 @default.
- W2014302401 hasAuthorship W2014302401A5018193643 @default.
- W2014302401 hasAuthorship W2014302401A5066422711 @default.
- W2014302401 hasConcept C101230327 @default.
- W2014302401 hasConcept C102993220 @default.
- W2014302401 hasConcept C111472728 @default.
- W2014302401 hasConcept C134306372 @default.
- W2014302401 hasConcept C138885662 @default.
- W2014302401 hasConcept C154945302 @default.
- W2014302401 hasConcept C159032336 @default.
- W2014302401 hasConcept C166088908 @default.
- W2014302401 hasConcept C167729594 @default.
- W2014302401 hasConcept C17231256 @default.
- W2014302401 hasConcept C177264268 @default.
- W2014302401 hasConcept C199360897 @default.
- W2014302401 hasConcept C2129575 @default.
- W2014302401 hasConcept C2524010 @default.
- W2014302401 hasConcept C25810664 @default.
- W2014302401 hasConcept C33923547 @default.
- W2014302401 hasConcept C39920170 @default.
- W2014302401 hasConcept C41008148 @default.
- W2014302401 hasConcept C80444323 @default.
- W2014302401 hasConceptScore W2014302401C101230327 @default.
- W2014302401 hasConceptScore W2014302401C102993220 @default.
- W2014302401 hasConceptScore W2014302401C111472728 @default.
- W2014302401 hasConceptScore W2014302401C134306372 @default.
- W2014302401 hasConceptScore W2014302401C138885662 @default.
- W2014302401 hasConceptScore W2014302401C154945302 @default.
- W2014302401 hasConceptScore W2014302401C159032336 @default.
- W2014302401 hasConceptScore W2014302401C166088908 @default.
- W2014302401 hasConceptScore W2014302401C167729594 @default.
- W2014302401 hasConceptScore W2014302401C17231256 @default.
- W2014302401 hasConceptScore W2014302401C177264268 @default.
- W2014302401 hasConceptScore W2014302401C199360897 @default.
- W2014302401 hasConceptScore W2014302401C2129575 @default.
- W2014302401 hasConceptScore W2014302401C2524010 @default.
- W2014302401 hasConceptScore W2014302401C25810664 @default.
- W2014302401 hasConceptScore W2014302401C33923547 @default.
- W2014302401 hasConceptScore W2014302401C39920170 @default.
- W2014302401 hasConceptScore W2014302401C41008148 @default.
- W2014302401 hasConceptScore W2014302401C80444323 @default.
- W2014302401 hasIssue "2" @default.
- W2014302401 hasLocation W20143024011 @default.
- W2014302401 hasOpenAccess W2014302401 @default.
- W2014302401 hasPrimaryLocation W20143024011 @default.
- W2014302401 hasRelatedWork W1537126384 @default.
- W2014302401 hasRelatedWork W2000282981 @default.
- W2014302401 hasRelatedWork W2006697948 @default.
- W2014302401 hasRelatedWork W2014302401 @default.
- W2014302401 hasRelatedWork W2022472812 @default.
- W2014302401 hasRelatedWork W2147357772 @default.
- W2014302401 hasRelatedWork W2161911014 @default.
- W2014302401 hasRelatedWork W3088671735 @default.
- W2014302401 hasRelatedWork W3895791 @default.