Matches in SemOpenAlex for { <https://semopenalex.org/work/W43669140> ?p ?o ?g. }
- W43669140 endingPage "27" @default.
- W43669140 startingPage "1" @default.
- W43669140 abstract "Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In this paper, we introduce the basic notions of DLs and the techniques that realize subsumption—the fundamental reasoning service of DL systems. We discuss two reasoning methods for this service: the tableau method for expressive DLs such as $mathcal{ALC}$ and the completion method for the light-weight DL $mathcal{EL}$ . We also present methods for generating explanations for computed subsumption relationships in these two DLs." @default.
- W43669140 created "2016-06-24" @default.
- W43669140 creator A5087373966 @default.
- W43669140 date "2010-01-01" @default.
- W43669140 modified "2023-09-25" @default.
- W43669140 title "Reasoning and Explanation in $mathcal{EL}$ and in Expressive Description Logics" @default.
- W43669140 cites W1483388050 @default.
- W43669140 cites W1483892218 @default.
- W43669140 cites W1489624549 @default.
- W43669140 cites W1494700156 @default.
- W43669140 cites W1500677103 @default.
- W43669140 cites W1500756507 @default.
- W43669140 cites W1505051593 @default.
- W43669140 cites W1509731421 @default.
- W43669140 cites W1518539187 @default.
- W43669140 cites W1523017397 @default.
- W43669140 cites W1525208404 @default.
- W43669140 cites W1525293204 @default.
- W43669140 cites W1527751385 @default.
- W43669140 cites W1543879878 @default.
- W43669140 cites W1565223119 @default.
- W43669140 cites W1581855825 @default.
- W43669140 cites W1585071008 @default.
- W43669140 cites W1601383106 @default.
- W43669140 cites W1670748022 @default.
- W43669140 cites W1717828047 @default.
- W43669140 cites W1964664152 @default.
- W43669140 cites W1974136241 @default.
- W43669140 cites W1978211738 @default.
- W43669140 cites W1978912716 @default.
- W43669140 cites W1990159861 @default.
- W43669140 cites W1990890881 @default.
- W43669140 cites W2002792899 @default.
- W43669140 cites W2005564477 @default.
- W43669140 cites W2018093460 @default.
- W43669140 cites W2020169768 @default.
- W43669140 cites W2026574256 @default.
- W43669140 cites W2049677513 @default.
- W43669140 cites W2057513565 @default.
- W43669140 cites W2117753247 @default.
- W43669140 cites W2118992936 @default.
- W43669140 cites W2124580444 @default.
- W43669140 cites W2126755595 @default.
- W43669140 cites W2135109168 @default.
- W43669140 cites W2137862151 @default.
- W43669140 cites W2140061645 @default.
- W43669140 cites W2145465694 @default.
- W43669140 cites W2147729309 @default.
- W43669140 cites W2168344789 @default.
- W43669140 cites W2911529331 @default.
- W43669140 cites W3099593821 @default.
- W43669140 cites W4211144022 @default.
- W43669140 cites W4301889661 @default.
- W43669140 doi "https://doi.org/10.1007/978-3-642-15543-7_1" @default.
- W43669140 hasPublicationYear "2010" @default.
- W43669140 type Work @default.
- W43669140 sameAs 43669140 @default.
- W43669140 citedByCount "2" @default.
- W43669140 countsByYear W436691402013 @default.
- W43669140 countsByYear W436691402019 @default.
- W43669140 crossrefType "book-chapter" @default.
- W43669140 hasAuthorship W43669140A5087373966 @default.
- W43669140 hasConcept C101230327 @default.
- W43669140 hasConcept C102993220 @default.
- W43669140 hasConcept C111472728 @default.
- W43669140 hasConcept C11413529 @default.
- W43669140 hasConcept C138885662 @default.
- W43669140 hasConcept C142362112 @default.
- W43669140 hasConcept C153349607 @default.
- W43669140 hasConcept C154945302 @default.
- W43669140 hasConcept C184337299 @default.
- W43669140 hasConcept C195344581 @default.
- W43669140 hasConcept C199360897 @default.
- W43669140 hasConcept C2129575 @default.
- W43669140 hasConcept C25810664 @default.
- W43669140 hasConcept C41008148 @default.
- W43669140 hasConcept C558565934 @default.
- W43669140 hasConcept C61673122 @default.
- W43669140 hasConcept C73301696 @default.
- W43669140 hasConcept C80444323 @default.
- W43669140 hasConceptScore W43669140C101230327 @default.
- W43669140 hasConceptScore W43669140C102993220 @default.
- W43669140 hasConceptScore W43669140C111472728 @default.
- W43669140 hasConceptScore W43669140C11413529 @default.
- W43669140 hasConceptScore W43669140C138885662 @default.
- W43669140 hasConceptScore W43669140C142362112 @default.
- W43669140 hasConceptScore W43669140C153349607 @default.
- W43669140 hasConceptScore W43669140C154945302 @default.
- W43669140 hasConceptScore W43669140C184337299 @default.
- W43669140 hasConceptScore W43669140C195344581 @default.
- W43669140 hasConceptScore W43669140C199360897 @default.
- W43669140 hasConceptScore W43669140C2129575 @default.
- W43669140 hasConceptScore W43669140C25810664 @default.
- W43669140 hasConceptScore W43669140C41008148 @default.
- W43669140 hasConceptScore W43669140C558565934 @default.
- W43669140 hasConceptScore W43669140C61673122 @default.
- W43669140 hasConceptScore W43669140C73301696 @default.
- W43669140 hasConceptScore W43669140C80444323 @default.