Matches in SemOpenAlex for { <https://semopenalex.org/work/W2733301172> ?p ?o ?g. }
- W2733301172 endingPage "271" @default.
- W2733301172 startingPage "255" @default.
- W2733301172 abstract "Ontologies are notoriously hard to define, express and reason about. Many tools have been developed to ease the ontology debugging and reasoning, however they often lack accessibility and formalisation. A visual representation language, concept diagrams, was developed for expressing ontologies, which has been empirically proven to be cognitively more accessible to ontology users. In this paper we answer the question of “How can concept diagrams be used to reason about inconsistencies and incoherence of ontologies?”. We do so by formalising a set of inference rules for concept diagrams that enables stepwise verification of the inconsistency and incoherence of a set of ontology axioms. The design of inference rules is driven by empirical evidence that concise (merged) diagrams are easier to comprehend for users than a set of lower level diagrams that are a one-to-one translation from OWL ontology axioms. We prove that our inference rules are sound, and exemplify how they can be used to reason about inconsistencies and incoherence." @default.
- W2733301172 created "2017-07-14" @default.
- W2733301172 creator A5036018012 @default.
- W2733301172 creator A5057312942 @default.
- W2733301172 creator A5060764929 @default.
- W2733301172 creator A5082391822 @default.
- W2733301172 date "2017-01-01" @default.
- W2733301172 modified "2023-10-14" @default.
- W2733301172 title "Reasoning with Concept Diagrams About Antipatterns in Ontologies" @default.
- W2733301172 cites W105978187 @default.
- W2733301172 cites W1488681519 @default.
- W2733301172 cites W1524692725 @default.
- W2733301172 cites W1974740511 @default.
- W2733301172 cites W1990890881 @default.
- W2733301172 cites W2032212484 @default.
- W2733301172 cites W204723148 @default.
- W2733301172 cites W2049592444 @default.
- W2733301172 cites W2082012377 @default.
- W2733301172 cites W2087804333 @default.
- W2733301172 cites W2175849758 @default.
- W2733301172 cites W284059702 @default.
- W2733301172 cites W4206634230 @default.
- W2733301172 cites W2173235673 @default.
- W2733301172 doi "https://doi.org/10.1007/978-3-319-62075-6_18" @default.
- W2733301172 hasPublicationYear "2017" @default.
- W2733301172 type Work @default.
- W2733301172 sameAs 2733301172 @default.
- W2733301172 citedByCount "4" @default.
- W2733301172 countsByYear W27333011722017 @default.
- W2733301172 countsByYear W27333011722018 @default.
- W2733301172 countsByYear W27333011722022 @default.
- W2733301172 crossrefType "book-chapter" @default.
- W2733301172 hasAuthorship W2733301172A5036018012 @default.
- W2733301172 hasAuthorship W2733301172A5057312942 @default.
- W2733301172 hasAuthorship W2733301172A5060764929 @default.
- W2733301172 hasAuthorship W2733301172A5082391822 @default.
- W2733301172 hasBestOaLocation W27333011722 @default.
- W2733301172 hasConcept C102993220 @default.
- W2733301172 hasConcept C111472728 @default.
- W2733301172 hasConcept C137003198 @default.
- W2733301172 hasConcept C138885662 @default.
- W2733301172 hasConcept C154945302 @default.
- W2733301172 hasConcept C161301231 @default.
- W2733301172 hasConcept C167729594 @default.
- W2733301172 hasConcept C168065819 @default.
- W2733301172 hasConcept C177264268 @default.
- W2733301172 hasConcept C17744445 @default.
- W2733301172 hasConcept C199360897 @default.
- W2733301172 hasConcept C199539241 @default.
- W2733301172 hasConcept C2129575 @default.
- W2733301172 hasConcept C2524010 @default.
- W2733301172 hasConcept C25810664 @default.
- W2733301172 hasConcept C2776214188 @default.
- W2733301172 hasConcept C2776359362 @default.
- W2733301172 hasConcept C2778177438 @default.
- W2733301172 hasConcept C33923547 @default.
- W2733301172 hasConcept C41008148 @default.
- W2733301172 hasConcept C61673122 @default.
- W2733301172 hasConcept C80444323 @default.
- W2733301172 hasConcept C94625758 @default.
- W2733301172 hasConceptScore W2733301172C102993220 @default.
- W2733301172 hasConceptScore W2733301172C111472728 @default.
- W2733301172 hasConceptScore W2733301172C137003198 @default.
- W2733301172 hasConceptScore W2733301172C138885662 @default.
- W2733301172 hasConceptScore W2733301172C154945302 @default.
- W2733301172 hasConceptScore W2733301172C161301231 @default.
- W2733301172 hasConceptScore W2733301172C167729594 @default.
- W2733301172 hasConceptScore W2733301172C168065819 @default.
- W2733301172 hasConceptScore W2733301172C177264268 @default.
- W2733301172 hasConceptScore W2733301172C17744445 @default.
- W2733301172 hasConceptScore W2733301172C199360897 @default.
- W2733301172 hasConceptScore W2733301172C199539241 @default.
- W2733301172 hasConceptScore W2733301172C2129575 @default.
- W2733301172 hasConceptScore W2733301172C2524010 @default.
- W2733301172 hasConceptScore W2733301172C25810664 @default.
- W2733301172 hasConceptScore W2733301172C2776214188 @default.
- W2733301172 hasConceptScore W2733301172C2776359362 @default.
- W2733301172 hasConceptScore W2733301172C2778177438 @default.
- W2733301172 hasConceptScore W2733301172C33923547 @default.
- W2733301172 hasConceptScore W2733301172C41008148 @default.
- W2733301172 hasConceptScore W2733301172C61673122 @default.
- W2733301172 hasConceptScore W2733301172C80444323 @default.
- W2733301172 hasConceptScore W2733301172C94625758 @default.
- W2733301172 hasLocation W27333011721 @default.
- W2733301172 hasLocation W27333011722 @default.
- W2733301172 hasLocation W27333011723 @default.
- W2733301172 hasOpenAccess W2733301172 @default.
- W2733301172 hasPrimaryLocation W27333011721 @default.
- W2733301172 hasRelatedWork W1537126384 @default.
- W2733301172 hasRelatedWork W1586450414 @default.
- W2733301172 hasRelatedWork W173895957 @default.
- W2733301172 hasRelatedWork W1888554172 @default.
- W2733301172 hasRelatedWork W195714804 @default.
- W2733301172 hasRelatedWork W2036815240 @default.
- W2733301172 hasRelatedWork W2136795569 @default.
- W2733301172 hasRelatedWork W2150683986 @default.
- W2733301172 hasRelatedWork W2205898858 @default.
- W2733301172 hasRelatedWork W2730675338 @default.