FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2487667488> ?p ?o ?g. }

• W2487667488 endingPage "530" @default.
• W2487667488 startingPage "521" @default.
• W2487667488 abstract "Description Logics (DLs) are knowledge representation and reasoning formalisms used in many settings. Among them, the $${mathcal {EL}}$$ family of DLs stands out due to the availability of polynomial-time inference algorithms and its ability to represent knowledge from domains such as medical informatics. However, the construction of an ontology is an error-prone process which often leads to unintended inferences. This paper presents the BEACON tool for debugging $${mathcal {EL}{^+}}$$ ontologies. BEACON builds on earlier work relating minimal justifications (MinAs) of $${mathcal {EL}{^+}}$$ ontologies and MUSes of a Horn formula, and integrates state-of-the-art algorithms for solving different function problems in the SAT domain." @default.
• W2487667488 created "2016-08-23" @default.
• W2487667488 creator A5002246957 @default.
• W2487667488 creator A5025110435 @default.
• W2487667488 creator A5026750238 @default.
• W2487667488 creator A5051305025 @default.
• W2487667488 creator A5078553769 @default.
• W2487667488 creator A5087109002 @default.
• W2487667488 date "2016-01-01" @default.
• W2487667488 modified "2023-09-23" @default.
• W2487667488 title "BEACON: An Efficient SAT-Based Tool for Debugging $${mathcal {EL}}{^+}$$ Ontologies" @default.
• W2487667488 cites W139194355 @default.
• W2487667488 cites W1505051593 @default.
• W2487667488 cites W1525208404 @default.
• W2487667488 cites W1540668801 @default.
• W2487667488 cites W1717828047 @default.
• W2487667488 cites W1898652832 @default.
• W2487667488 cites W2011992362 @default.
• W2487667488 cites W2020169768 @default.
• W2487667488 cites W2021929022 @default.
• W2487667488 cites W2058449564 @default.
• W2487667488 cites W2058793155 @default.
• W2487667488 cites W2079107830 @default.
• W2487667488 cites W2087779040 @default.
• W2487667488 cites W2103017472 @default.
• W2487667488 cites W2108309071 @default.
• W2487667488 cites W2257581581 @default.
• W2487667488 cites W2295460894 @default.
• W2487667488 cites W308113020 @default.
• W2487667488 cites W4298227761 @default.
• W2487667488 cites W952867079 @default.
• W2487667488 doi "https://doi.org/10.1007/978-3-319-40970-2_32" @default.
• W2487667488 hasPublicationYear "2016" @default.
• W2487667488 type Work @default.
• W2487667488 sameAs 2487667488 @default.
• W2487667488 citedByCount "21" @default.
• W2487667488 countsByYear W24876674882016 @default.
• W2487667488 countsByYear W24876674882017 @default.
• W2487667488 countsByYear W24876674882018 @default.
• W2487667488 countsByYear W24876674882019 @default.
• W2487667488 countsByYear W24876674882020 @default.
• W2487667488 countsByYear W24876674882021 @default.
• W2487667488 countsByYear W24876674882022 @default.
• W2487667488 countsByYear W24876674882023 @default.
• W2487667488 crossrefType "book-chapter" @default.
• W2487667488 hasAuthorship W2487667488A5002246957 @default.
• W2487667488 hasAuthorship W2487667488A5025110435 @default.
• W2487667488 hasAuthorship W2487667488A5026750238 @default.
• W2487667488 hasAuthorship W2487667488A5051305025 @default.
• W2487667488 hasAuthorship W2487667488A5078553769 @default.
• W2487667488 hasAuthorship W2487667488A5087109002 @default.
• W2487667488 hasConcept C102993220 @default.
• W2487667488 hasConcept C111472728 @default.
• W2487667488 hasConcept C134306372 @default.
• W2487667488 hasConcept C138885662 @default.
• W2487667488 hasConcept C154945302 @default.
• W2487667488 hasConcept C160145156 @default.
• W2487667488 hasConcept C161301231 @default.
• W2487667488 hasConcept C168065819 @default.
• W2487667488 hasConcept C171018156 @default.
• W2487667488 hasConcept C17744445 @default.
• W2487667488 hasConcept C199360897 @default.
• W2487667488 hasConcept C199539241 @default.
• W2487667488 hasConcept C2524010 @default.
• W2487667488 hasConcept C25810664 @default.
• W2487667488 hasConcept C2776214188 @default.
• W2487667488 hasConcept C2776359362 @default.
• W2487667488 hasConcept C33923547 @default.
• W2487667488 hasConcept C36503486 @default.
• W2487667488 hasConcept C41008148 @default.
• W2487667488 hasConcept C80444323 @default.
• W2487667488 hasConcept C94625758 @default.
• W2487667488 hasConceptScore W2487667488C102993220 @default.
• W2487667488 hasConceptScore W2487667488C111472728 @default.
• W2487667488 hasConceptScore W2487667488C134306372 @default.
• W2487667488 hasConceptScore W2487667488C138885662 @default.
• W2487667488 hasConceptScore W2487667488C154945302 @default.
• W2487667488 hasConceptScore W2487667488C160145156 @default.
• W2487667488 hasConceptScore W2487667488C161301231 @default.
• W2487667488 hasConceptScore W2487667488C168065819 @default.
• W2487667488 hasConceptScore W2487667488C171018156 @default.
• W2487667488 hasConceptScore W2487667488C17744445 @default.
• W2487667488 hasConceptScore W2487667488C199360897 @default.
• W2487667488 hasConceptScore W2487667488C199539241 @default.
• W2487667488 hasConceptScore W2487667488C2524010 @default.
• W2487667488 hasConceptScore W2487667488C25810664 @default.
• W2487667488 hasConceptScore W2487667488C2776214188 @default.
• W2487667488 hasConceptScore W2487667488C2776359362 @default.
• W2487667488 hasConceptScore W2487667488C33923547 @default.
• W2487667488 hasConceptScore W2487667488C36503486 @default.
• W2487667488 hasConceptScore W2487667488C41008148 @default.
• W2487667488 hasConceptScore W2487667488C80444323 @default.
• W2487667488 hasConceptScore W2487667488C94625758 @default.
• W2487667488 hasLocation W24876674881 @default.
• W2487667488 hasOpenAccess W2487667488 @default.
• W2487667488 hasPrimaryLocation W24876674881 @default.
• W2487667488 hasRelatedWork W1558134444 @default.
• W2487667488 hasRelatedWork W1587224678 @default.

• next