Matches in SemOpenAlex for { <https://semopenalex.org/work/W193448418> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W193448418 abstract "We present an original Protege plugin developed for the deep consistency checking of OWL ontologies. The plugin constructs and visualizes a minimal satisfiability model of the ontology, which is likely to uncover potential ontological errors: if the constructed model contradicts the author’s intentions, then the ontology itself is either wrong or incomplete. A satisfiability model is generated using Mace4 , a first-order logic (FOL) finite model builder, from the FOL formulas corresponding to the OWL ontology definition. The constructed satisfiability model is visualized using an original music score notation plugin of Protege." @default.
- W193448418 created "2016-06-24" @default.
- W193448418 creator A5069267601 @default.
- W193448418 creator A5082346029 @default.
- W193448418 date "2007-01-01" @default.
- W193448418 modified "2023-09-26" @default.
- W193448418 title "Satisfiability Model Visualization Plugin for Deep Consistency Checking of OWL Ontologies." @default.
- W193448418 cites W1501276147 @default.
- W193448418 cites W1678959094 @default.
- W193448418 cites W2005564477 @default.
- W193448418 cites W2130089820 @default.
- W193448418 cites W2397664909 @default.
- W193448418 cites W2532726165 @default.
- W193448418 hasPublicationYear "2007" @default.
- W193448418 type Work @default.
- W193448418 sameAs 193448418 @default.
- W193448418 citedByCount "3" @default.
- W193448418 crossrefType "proceedings-article" @default.
- W193448418 hasAuthorship W193448418A5069267601 @default.
- W193448418 hasAuthorship W193448418A5082346029 @default.
- W193448418 hasConcept C101230327 @default.
- W193448418 hasConcept C102993220 @default.
- W193448418 hasConcept C111472728 @default.
- W193448418 hasConcept C138885662 @default.
- W193448418 hasConcept C154945302 @default.
- W193448418 hasConcept C168773769 @default.
- W193448418 hasConcept C199360897 @default.
- W193448418 hasConcept C2129575 @default.
- W193448418 hasConcept C25810664 @default.
- W193448418 hasConcept C2776436953 @default.
- W193448418 hasConcept C2779247653 @default.
- W193448418 hasConcept C36464697 @default.
- W193448418 hasConcept C41008148 @default.
- W193448418 hasConcept C4924752 @default.
- W193448418 hasConcept C80444323 @default.
- W193448418 hasConceptScore W193448418C101230327 @default.
- W193448418 hasConceptScore W193448418C102993220 @default.
- W193448418 hasConceptScore W193448418C111472728 @default.
- W193448418 hasConceptScore W193448418C138885662 @default.
- W193448418 hasConceptScore W193448418C154945302 @default.
- W193448418 hasConceptScore W193448418C168773769 @default.
- W193448418 hasConceptScore W193448418C199360897 @default.
- W193448418 hasConceptScore W193448418C2129575 @default.
- W193448418 hasConceptScore W193448418C25810664 @default.
- W193448418 hasConceptScore W193448418C2776436953 @default.
- W193448418 hasConceptScore W193448418C2779247653 @default.
- W193448418 hasConceptScore W193448418C36464697 @default.
- W193448418 hasConceptScore W193448418C41008148 @default.
- W193448418 hasConceptScore W193448418C4924752 @default.
- W193448418 hasConceptScore W193448418C80444323 @default.
- W193448418 hasLocation W1934484181 @default.
- W193448418 hasOpenAccess W193448418 @default.
- W193448418 hasPrimaryLocation W1934484181 @default.
- W193448418 hasRelatedWork W1543226704 @default.
- W193448418 hasRelatedWork W1561444936 @default.
- W193448418 hasRelatedWork W1564663187 @default.
- W193448418 hasRelatedWork W1602312839 @default.
- W193448418 hasRelatedWork W1830693712 @default.
- W193448418 hasRelatedWork W1970004368 @default.
- W193448418 hasRelatedWork W1980899255 @default.
- W193448418 hasRelatedWork W2034609074 @default.
- W193448418 hasRelatedWork W2081257986 @default.
- W193448418 hasRelatedWork W2151695161 @default.
- W193448418 hasRelatedWork W2157373800 @default.
- W193448418 hasRelatedWork W2158235344 @default.
- W193448418 hasRelatedWork W2352814755 @default.
- W193448418 hasRelatedWork W2388241132 @default.
- W193448418 hasRelatedWork W2523884720 @default.
- W193448418 hasRelatedWork W2599534140 @default.
- W193448418 hasRelatedWork W28802454 @default.
- W193448418 hasRelatedWork W67250670 @default.
- W193448418 hasRelatedWork W84755871 @default.
- W193448418 hasRelatedWork W87593984 @default.
- W193448418 isParatext "false" @default.
- W193448418 isRetracted "false" @default.
- W193448418 magId "193448418" @default.
- W193448418 workType "article" @default.