FRINK Linked Data Fragments server

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

• W2132353952 endingPage "296" @default.
• W2132353952 startingPage "285" @default.
• W2132353952 abstract "When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to an arbitrary set of axioms is hard, even for relatively inexpressive logics, and it is essential to deal with such axioms in an efficient manner if implemented systems are to be effective in real applications. This is particularly relevant to Description Logics, where subsumption reasoning with respect to a terminology is a fundamental problem. Two optimisation techniques that have proved to be particularly effective in dealing with terminologies are lazy unfolding and absorption. In this paper we seek to improve our theoretical understanding of these important techniques. We define a formal framework that allows the techniques to be precisely described, establish conditions under which they can be safely applied, and prove that, provided these conditions are respected, subsumption testing algorithms will still function correctly. These results are used to show that the procedures used in the FaCT system are correct and, moreover, to show how efficiency can be significantly improved, while still retaining the guarantee of correctness, by relaxing the safety conditions for absorption." @default.
• W2132353952 created "2016-06-24" @default.
• W2132353952 creator A5060350556 @default.
• W2132353952 creator A5090867745 @default.
• W2132353952 date "2000-04-11" @default.
• W2132353952 modified "2023-09-26" @default.
• W2132353952 title "Reasoning with axioms: theory and practice" @default.
• W2132353952 cites W139763282 @default.
• W2132353952 cites W1494145374 @default.
• W2132353952 cites W1499911527 @default.
• W2132353952 cites W1512766599 @default.
• W2132353952 cites W1514356467 @default.
• W2132353952 cites W1516517638 @default.
• W2132353952 cites W1536088796 @default.
• W2132353952 cites W1551503011 @default.
• W2132353952 cites W1575501166 @default.
• W2132353952 cites W1578780470 @default.
• W2132353952 cites W1593093417 @default.
• W2132353952 cites W1603243195 @default.
• W2132353952 cites W1605911328 @default.
• W2132353952 cites W1614615401 @default.
• W2132353952 cites W1970672740 @default.
• W2132353952 cites W1982030536 @default.
• W2132353952 cites W1995656639 @default.
• W2132353952 cites W2033071128 @default.
• W2132353952 cites W2046213250 @default.
• W2132353952 cites W2067441543 @default.
• W2132353952 cites W2087882226 @default.
• W2132353952 cites W2140147652 @default.
• W2132353952 cites W2145465694 @default.
• W2132353952 cites W235747613 @default.
• W2132353952 cites W27125521 @default.
• W2132353952 cites W80737574 @default.
• W2132353952 hasPublicationYear "2000" @default.
• W2132353952 type Work @default.
• W2132353952 sameAs 2132353952 @default.
• W2132353952 citedByCount "40" @default.
• W2132353952 countsByYear W21323539522012 @default.
• W2132353952 countsByYear W21323539522013 @default.
• W2132353952 countsByYear W21323539522014 @default.
• W2132353952 countsByYear W21323539522015 @default.
• W2132353952 crossrefType "proceedings-article" @default.
• W2132353952 hasAuthorship W2132353952A5060350556 @default.
• W2132353952 hasAuthorship W2132353952A5090867745 @default.
• W2132353952 hasConcept C102993220 @default.
• W2132353952 hasConcept C11413529 @default.
• W2132353952 hasConcept C134306372 @default.
• W2132353952 hasConcept C138885662 @default.
• W2132353952 hasConcept C14036430 @default.
• W2132353952 hasConcept C154945302 @default.
• W2132353952 hasConcept C167729594 @default.
• W2132353952 hasConcept C177264268 @default.
• W2132353952 hasConcept C185592680 @default.
• W2132353952 hasConcept C188027245 @default.
• W2132353952 hasConcept C199360897 @default.
• W2132353952 hasConcept C2524010 @default.
• W2132353952 hasConcept C33923547 @default.
• W2132353952 hasConcept C36503486 @default.
• W2132353952 hasConcept C41008148 @default.
• W2132353952 hasConcept C41895202 @default.
• W2132353952 hasConcept C547195049 @default.
• W2132353952 hasConcept C55439883 @default.
• W2132353952 hasConcept C71139939 @default.
• W2132353952 hasConcept C78458016 @default.
• W2132353952 hasConcept C80444323 @default.
• W2132353952 hasConcept C86803240 @default.
• W2132353952 hasConceptScore W2132353952C102993220 @default.
• W2132353952 hasConceptScore W2132353952C11413529 @default.
• W2132353952 hasConceptScore W2132353952C134306372 @default.
• W2132353952 hasConceptScore W2132353952C138885662 @default.
• W2132353952 hasConceptScore W2132353952C14036430 @default.
• W2132353952 hasConceptScore W2132353952C154945302 @default.
• W2132353952 hasConceptScore W2132353952C167729594 @default.
• W2132353952 hasConceptScore W2132353952C177264268 @default.
• W2132353952 hasConceptScore W2132353952C185592680 @default.
• W2132353952 hasConceptScore W2132353952C188027245 @default.
• W2132353952 hasConceptScore W2132353952C199360897 @default.
• W2132353952 hasConceptScore W2132353952C2524010 @default.
• W2132353952 hasConceptScore W2132353952C33923547 @default.
• W2132353952 hasConceptScore W2132353952C36503486 @default.
• W2132353952 hasConceptScore W2132353952C41008148 @default.
• W2132353952 hasConceptScore W2132353952C41895202 @default.
• W2132353952 hasConceptScore W2132353952C547195049 @default.
• W2132353952 hasConceptScore W2132353952C55439883 @default.
• W2132353952 hasConceptScore W2132353952C71139939 @default.
• W2132353952 hasConceptScore W2132353952C78458016 @default.
• W2132353952 hasConceptScore W2132353952C80444323 @default.
• W2132353952 hasConceptScore W2132353952C86803240 @default.
• W2132353952 hasLocation W21323539521 @default.
• W2132353952 hasOpenAccess W2132353952 @default.
• W2132353952 hasPrimaryLocation W21323539521 @default.
• W2132353952 hasRelatedWork W1493568378 @default.
• W2132353952 hasRelatedWork W1497036643 @default.
• W2132353952 hasRelatedWork W1555563750 @default.
• W2132353952 hasRelatedWork W1575501166 @default.
• W2132353952 hasRelatedWork W1585071008 @default.
• W2132353952 hasRelatedWork W1614615401 @default.
• W2132353952 hasRelatedWork W1637478387 @default.

• next