Matches in SemOpenAlex for { <https://semopenalex.org/work/W3206456475> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W3206456475 abstract "Definite descriptions are phrases of the form 'the $x$ such that $varphi$', used to refer to single entities in a context. They are often more meaningful to users than individual names alone, in particular when modelling or querying data over ontologies. We investigate free description logics with both individual names and definite descriptions as terms of the language, while also accounting for their possible lack of denotation. We focus on the extensions of $mathcal{ALC}$ and, respectively, $mathcal{EL}$ with nominals, the universal role, and definite descriptions. We show that standard reasoning in these extensions is not harder than in the original languages, and we characterise the expressive power of concepts relative to first-order formulas using a suitable notion of bisimulation. Moreover, we lay the foundations for automated support for definite descriptions generation by studying the complexity of deciding the existence of definite descriptions for an individual under an ontology. Finally, we provide a polynomial-time reduction of reasoning in other free description logic languages based on dual-domain semantics to the case of partial interpretations." @default.
- W3206456475 created "2021-10-25" @default.
- W3206456475 creator A5010967150 @default.
- W3206456475 creator A5035993641 @default.
- W3206456475 creator A5039642263 @default.
- W3206456475 creator A5084964513 @default.
- W3206456475 date "2020-01-01" @default.
- W3206456475 modified "2023-09-25" @default.
- W3206456475 title "On Free Description Logics with Definite Descriptions." @default.
- W3206456475 cites W1485990531 @default.
- W3206456475 cites W2012323324 @default.
- W3206456475 hasPublicationYear "2020" @default.
- W3206456475 type Work @default.
- W3206456475 sameAs 3206456475 @default.
- W3206456475 citedByCount "0" @default.
- W3206456475 crossrefType "journal-article" @default.
- W3206456475 hasAuthorship W3206456475A5010967150 @default.
- W3206456475 hasAuthorship W3206456475A5035993641 @default.
- W3206456475 hasAuthorship W3206456475A5039642263 @default.
- W3206456475 hasAuthorship W3206456475A5084964513 @default.
- W3206456475 hasConcept C102993220 @default.
- W3206456475 hasConcept C111472728 @default.
- W3206456475 hasConcept C120665830 @default.
- W3206456475 hasConcept C121332964 @default.
- W3206456475 hasConcept C135315306 @default.
- W3206456475 hasConcept C138885662 @default.
- W3206456475 hasConcept C139997677 @default.
- W3206456475 hasConcept C149106765 @default.
- W3206456475 hasConcept C151730666 @default.
- W3206456475 hasConcept C184337299 @default.
- W3206456475 hasConcept C192209626 @default.
- W3206456475 hasConcept C195818886 @default.
- W3206456475 hasConcept C199360897 @default.
- W3206456475 hasConcept C25810664 @default.
- W3206456475 hasConcept C2779343474 @default.
- W3206456475 hasConcept C41008148 @default.
- W3206456475 hasConcept C41895202 @default.
- W3206456475 hasConcept C80444323 @default.
- W3206456475 hasConcept C86803240 @default.
- W3206456475 hasConceptScore W3206456475C102993220 @default.
- W3206456475 hasConceptScore W3206456475C111472728 @default.
- W3206456475 hasConceptScore W3206456475C120665830 @default.
- W3206456475 hasConceptScore W3206456475C121332964 @default.
- W3206456475 hasConceptScore W3206456475C135315306 @default.
- W3206456475 hasConceptScore W3206456475C138885662 @default.
- W3206456475 hasConceptScore W3206456475C139997677 @default.
- W3206456475 hasConceptScore W3206456475C149106765 @default.
- W3206456475 hasConceptScore W3206456475C151730666 @default.
- W3206456475 hasConceptScore W3206456475C184337299 @default.
- W3206456475 hasConceptScore W3206456475C192209626 @default.
- W3206456475 hasConceptScore W3206456475C195818886 @default.
- W3206456475 hasConceptScore W3206456475C199360897 @default.
- W3206456475 hasConceptScore W3206456475C25810664 @default.
- W3206456475 hasConceptScore W3206456475C2779343474 @default.
- W3206456475 hasConceptScore W3206456475C41008148 @default.
- W3206456475 hasConceptScore W3206456475C41895202 @default.
- W3206456475 hasConceptScore W3206456475C80444323 @default.
- W3206456475 hasConceptScore W3206456475C86803240 @default.
- W3206456475 hasLocation W32064564751 @default.
- W3206456475 hasOpenAccess W3206456475 @default.
- W3206456475 hasPrimaryLocation W32064564751 @default.
- W3206456475 hasRelatedWork W126252482 @default.
- W3206456475 hasRelatedWork W1527818723 @default.
- W3206456475 hasRelatedWork W1566034942 @default.
- W3206456475 hasRelatedWork W1569665785 @default.
- W3206456475 hasRelatedWork W1584137897 @default.
- W3206456475 hasRelatedWork W2062554483 @default.
- W3206456475 hasRelatedWork W2077889518 @default.
- W3206456475 hasRelatedWork W2135086513 @default.
- W3206456475 hasRelatedWork W2139089437 @default.
- W3206456475 hasRelatedWork W2406874399 @default.
- W3206456475 hasRelatedWork W2911538936 @default.
- W3206456475 hasRelatedWork W2912466821 @default.
- W3206456475 hasRelatedWork W3036168088 @default.
- W3206456475 hasRelatedWork W3089356431 @default.
- W3206456475 hasRelatedWork W3110515833 @default.
- W3206456475 hasRelatedWork W3121221891 @default.
- W3206456475 hasRelatedWork W43308109 @default.
- W3206456475 hasRelatedWork W61925538 @default.
- W3206456475 hasRelatedWork W71343783 @default.
- W3206456475 hasRelatedWork W2185650591 @default.
- W3206456475 isParatext "false" @default.
- W3206456475 isRetracted "false" @default.
- W3206456475 magId "3206456475" @default.
- W3206456475 workType "article" @default.