Matches in SemOpenAlex for { <https://semopenalex.org/work/W4299838282> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W4299838282 abstract "In this paper we exploit Answer Set Programming (ASP) for reasoning in a rational extension SROEL-R-T of the low complexity description logic SROEL, which underlies the OWL EL ontology language. In the extended language, a typicality operator T is allowed to define concepts T(C) (typical C's) under a rational semantics. It has been proven that instance checking under rational entailment has a polynomial complexity. To strengthen rational entailment, in this paper we consider a minimal model semantics. We show that, for arbitrary SROEL-R-T knowledge bases, instance checking under minimal entailment is Pi^P_2-complete. Relying on a Small Model result, where models correspond to answer sets of a suitable ASP encoding, we exploit Answer Set Preferences (and, in particular, the asprin framework) for reasoning under minimal entailment. The paper is under consideration for acceptance in Theory and Practice of Logic Programming." @default.
- W4299838282 created "2022-10-03" @default.
- W4299838282 creator A5032469069 @default.
- W4299838282 creator A5082515771 @default.
- W4299838282 date "2016-08-08" @default.
- W4299838282 modified "2023-09-29" @default.
- W4299838282 title "ASP for Minimal Entailment in a Rational Extension of SROEL" @default.
- W4299838282 doi "https://doi.org/10.48550/arxiv.1608.02450" @default.
- W4299838282 hasPublicationYear "2016" @default.
- W4299838282 type Work @default.
- W4299838282 citedByCount "0" @default.
- W4299838282 crossrefType "posted-content" @default.
- W4299838282 hasAuthorship W4299838282A5032469069 @default.
- W4299838282 hasAuthorship W4299838282A5082515771 @default.
- W4299838282 hasBestOaLocation W42998382821 @default.
- W4299838282 hasConcept C102993220 @default.
- W4299838282 hasConcept C127001435 @default.
- W4299838282 hasConcept C128838566 @default.
- W4299838282 hasConcept C134752490 @default.
- W4299838282 hasConcept C148230440 @default.
- W4299838282 hasConcept C154945302 @default.
- W4299838282 hasConcept C156325763 @default.
- W4299838282 hasConcept C159032336 @default.
- W4299838282 hasConcept C177264268 @default.
- W4299838282 hasConcept C182620335 @default.
- W4299838282 hasConcept C184337299 @default.
- W4299838282 hasConcept C199360897 @default.
- W4299838282 hasConcept C2776235265 @default.
- W4299838282 hasConcept C2778029271 @default.
- W4299838282 hasConcept C41008148 @default.
- W4299838282 hasConcept C62360110 @default.
- W4299838282 hasConcept C80444323 @default.
- W4299838282 hasConceptScore W4299838282C102993220 @default.
- W4299838282 hasConceptScore W4299838282C127001435 @default.
- W4299838282 hasConceptScore W4299838282C128838566 @default.
- W4299838282 hasConceptScore W4299838282C134752490 @default.
- W4299838282 hasConceptScore W4299838282C148230440 @default.
- W4299838282 hasConceptScore W4299838282C154945302 @default.
- W4299838282 hasConceptScore W4299838282C156325763 @default.
- W4299838282 hasConceptScore W4299838282C159032336 @default.
- W4299838282 hasConceptScore W4299838282C177264268 @default.
- W4299838282 hasConceptScore W4299838282C182620335 @default.
- W4299838282 hasConceptScore W4299838282C184337299 @default.
- W4299838282 hasConceptScore W4299838282C199360897 @default.
- W4299838282 hasConceptScore W4299838282C2776235265 @default.
- W4299838282 hasConceptScore W4299838282C2778029271 @default.
- W4299838282 hasConceptScore W4299838282C41008148 @default.
- W4299838282 hasConceptScore W4299838282C62360110 @default.
- W4299838282 hasConceptScore W4299838282C80444323 @default.
- W4299838282 hasLocation W42998382821 @default.
- W4299838282 hasLocation W42998382822 @default.
- W4299838282 hasOpenAccess W4299838282 @default.
- W4299838282 hasPrimaryLocation W42998382821 @default.
- W4299838282 hasRelatedWork W1485855639 @default.
- W4299838282 hasRelatedWork W1511110679 @default.
- W4299838282 hasRelatedWork W1891972172 @default.
- W4299838282 hasRelatedWork W2176973685 @default.
- W4299838282 hasRelatedWork W2184746485 @default.
- W4299838282 hasRelatedWork W2256886837 @default.
- W4299838282 hasRelatedWork W2498203297 @default.
- W4299838282 hasRelatedWork W2963772318 @default.
- W4299838282 hasRelatedWork W36639351 @default.
- W4299838282 hasRelatedWork W4299838282 @default.
- W4299838282 isParatext "false" @default.
- W4299838282 isRetracted "false" @default.
- W4299838282 workType "article" @default.