Matches in SemOpenAlex for { <https://semopenalex.org/work/W3135291240> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W3135291240 abstract "As an increasingly large number of OWL ontologies become available on the Semantic Web and the descriptions in the ontologies become more complicated, finding the cause of errors becomes an extremely hard task even for experts. Existing ontology development environments provide some limited support, in conjunction with a reasoner, for reporting errors in OWL ontologies. Typically these are restricted to the mere detection of, for example, unsatisfiable concepts. However, the diagnosis and resolution of the bug is not supported at all. For example, no explanation is given as to why the error occurs (e.g., by pinpointing the root clash, or axioms in the ontology responsible for the clash) or how dependencies between classes cause the error to propagate (i.e., by distinguishing root from derived unsatisfiable classes). In the former case, information from the internals of a description logic tableaux reasoner can be extracted and presented to the user (glass box approach); while in the latter case, the reasoner can be used as an oracle for a certain set of questions and the asserted structure of the ontology can be used to help isolate the source of the problems (black box approach). Based on the two approaches, we have integrated a number of debugging cues generated from our reasoner, Pellet, in our hypertextual ontology development environment, Swoop. A conducted usability evaluation demonstrates that these debugging cues significantly improve the OWL debugging experience, and point the way to more general improvements in the presentation of an ontology to users." @default.
- W3135291240 created "2021-03-15" @default.
- W3135291240 creator A5005432645 @default.
- W3135291240 creator A5008893855 @default.
- W3135291240 creator A5010414972 @default.
- W3135291240 creator A5087218305 @default.
- W3135291240 date "2005-01-01" @default.
- W3135291240 modified "2023-09-24" @default.
- W3135291240 title "Debugging Unsatisfiable Classes in OWL Ontologies" @default.
- W3135291240 cites W1535669441 @default.
- W3135291240 cites W1556295630 @default.
- W3135291240 cites W1604300570 @default.
- W3135291240 cites W1762323318 @default.
- W3135291240 cites W1926617180 @default.
- W3135291240 cites W2005564477 @default.
- W3135291240 cites W3135291240 @default.
- W3135291240 cites W3135768530 @default.
- W3135291240 cites W3147477526 @default.
- W3135291240 cites W4230875215 @default.
- W3135291240 cites W4237716088 @default.
- W3135291240 doi "https://doi.org/10.2139/ssrn.3199261" @default.
- W3135291240 hasPublicationYear "2005" @default.
- W3135291240 type Work @default.
- W3135291240 sameAs 3135291240 @default.
- W3135291240 citedByCount "8" @default.
- W3135291240 countsByYear W31352912402013 @default.
- W3135291240 countsByYear W31352912402018 @default.
- W3135291240 countsByYear W31352912402022 @default.
- W3135291240 crossrefType "journal-article" @default.
- W3135291240 hasAuthorship W3135291240A5005432645 @default.
- W3135291240 hasAuthorship W3135291240A5008893855 @default.
- W3135291240 hasAuthorship W3135291240A5010414972 @default.
- W3135291240 hasAuthorship W3135291240A5087218305 @default.
- W3135291240 hasConcept C101230327 @default.
- W3135291240 hasConcept C111472728 @default.
- W3135291240 hasConcept C136764020 @default.
- W3135291240 hasConcept C138885662 @default.
- W3135291240 hasConcept C167379230 @default.
- W3135291240 hasConcept C168065819 @default.
- W3135291240 hasConcept C199360897 @default.
- W3135291240 hasConcept C2129575 @default.
- W3135291240 hasConcept C25810664 @default.
- W3135291240 hasConcept C41008148 @default.
- W3135291240 hasConcept C50382505 @default.
- W3135291240 hasConceptScore W3135291240C101230327 @default.
- W3135291240 hasConceptScore W3135291240C111472728 @default.
- W3135291240 hasConceptScore W3135291240C136764020 @default.
- W3135291240 hasConceptScore W3135291240C138885662 @default.
- W3135291240 hasConceptScore W3135291240C167379230 @default.
- W3135291240 hasConceptScore W3135291240C168065819 @default.
- W3135291240 hasConceptScore W3135291240C199360897 @default.
- W3135291240 hasConceptScore W3135291240C2129575 @default.
- W3135291240 hasConceptScore W3135291240C25810664 @default.
- W3135291240 hasConceptScore W3135291240C41008148 @default.
- W3135291240 hasConceptScore W3135291240C50382505 @default.
- W3135291240 hasLocation W31352912401 @default.
- W3135291240 hasOpenAccess W3135291240 @default.
- W3135291240 hasPrimaryLocation W31352912401 @default.
- W3135291240 hasRelatedWork W1498982577 @default.
- W3135291240 hasRelatedWork W1587224678 @default.
- W3135291240 hasRelatedWork W1601811574 @default.
- W3135291240 hasRelatedWork W1644219055 @default.
- W3135291240 hasRelatedWork W1998599811 @default.
- W3135291240 hasRelatedWork W2005564477 @default.
- W3135291240 hasRelatedWork W2039975250 @default.
- W3135291240 hasRelatedWork W2113181180 @default.
- W3135291240 hasRelatedWork W2373434917 @default.
- W3135291240 hasRelatedWork W2391038466 @default.
- W3135291240 isParatext "false" @default.
- W3135291240 isRetracted "false" @default.
- W3135291240 magId "3135291240" @default.
- W3135291240 workType "article" @default.