Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297817913> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4297817913 abstract "The Semantic Web ontology language OWL 2 DL comes with a variety of language features that enable sophisticated and practically useful modeling. However, the use of these features has been severely restricted in order to retain decidability of the language. For example, OWL 2 DL does not allow a property to be both transitive and asymmetric, which would be desirable, e.g., for representing an ancestor relation. In this paper, we argue that the so-called global restrictions of OWL 2 DL preclude many useful forms of modeling, by providing a catalog of basic modeling patterns that would be available in OWL 2 DL if the global restrictions were discarded. We then report on the results of evaluating several state-of-the-art OWL 2 DL reasoners on problems that use combinations of features in a way that the global restrictions are violated. The systems turn out to rely heavily on the global restrictions and are thus largely incapable of coping with the modeling patterns. Next we show how off-the-shelf first-order logic theorem proving technology can be used to perform reasoning in the OWL 2 direct semantics, the semantics that underlies OWL 2 DL, but without requiring the global restrictions. Applying a naive proof-of-concept implementation of this approach to the test problems was successful in all cases. Based on our observations, we make suggestions for future lines of research on expressive description logic-style OWL reasoning." @default.
- W4297817913 created "2022-10-01" @default.
- W4297817913 creator A5024774718 @default.
- W4297817913 creator A5051126529 @default.
- W4297817913 creator A5051287989 @default.
- W4297817913 date "2012-12-12" @default.
- W4297817913 modified "2023-10-18" @default.
- W4297817913 title "Modeling in OWL 2 without Restrictions" @default.
- W4297817913 doi "https://doi.org/10.48550/arxiv.1212.2902" @default.
- W4297817913 hasPublicationYear "2012" @default.
- W4297817913 type Work @default.
- W4297817913 citedByCount "0" @default.
- W4297817913 crossrefType "posted-content" @default.
- W4297817913 hasAuthorship W4297817913A5024774718 @default.
- W4297817913 hasAuthorship W4297817913A5051126529 @default.
- W4297817913 hasAuthorship W4297817913A5051287989 @default.
- W4297817913 hasBestOaLocation W42978179131 @default.
- W4297817913 hasConcept C101230327 @default.
- W4297817913 hasConcept C102993220 @default.
- W4297817913 hasConcept C111472728 @default.
- W4297817913 hasConcept C114614502 @default.
- W4297817913 hasConcept C138885662 @default.
- W4297817913 hasConcept C148792806 @default.
- W4297817913 hasConcept C153269930 @default.
- W4297817913 hasConcept C154945302 @default.
- W4297817913 hasConcept C184337299 @default.
- W4297817913 hasConcept C191399111 @default.
- W4297817913 hasConcept C199360897 @default.
- W4297817913 hasConcept C2129575 @default.
- W4297817913 hasConcept C25810664 @default.
- W4297817913 hasConcept C33923547 @default.
- W4297817913 hasConcept C41008148 @default.
- W4297817913 hasConcept C50382505 @default.
- W4297817913 hasConcept C534406577 @default.
- W4297817913 hasConcept C61673122 @default.
- W4297817913 hasConcept C62360110 @default.
- W4297817913 hasConcept C71695816 @default.
- W4297817913 hasConcept C80444323 @default.
- W4297817913 hasConceptScore W4297817913C101230327 @default.
- W4297817913 hasConceptScore W4297817913C102993220 @default.
- W4297817913 hasConceptScore W4297817913C111472728 @default.
- W4297817913 hasConceptScore W4297817913C114614502 @default.
- W4297817913 hasConceptScore W4297817913C138885662 @default.
- W4297817913 hasConceptScore W4297817913C148792806 @default.
- W4297817913 hasConceptScore W4297817913C153269930 @default.
- W4297817913 hasConceptScore W4297817913C154945302 @default.
- W4297817913 hasConceptScore W4297817913C184337299 @default.
- W4297817913 hasConceptScore W4297817913C191399111 @default.
- W4297817913 hasConceptScore W4297817913C199360897 @default.
- W4297817913 hasConceptScore W4297817913C2129575 @default.
- W4297817913 hasConceptScore W4297817913C25810664 @default.
- W4297817913 hasConceptScore W4297817913C33923547 @default.
- W4297817913 hasConceptScore W4297817913C41008148 @default.
- W4297817913 hasConceptScore W4297817913C50382505 @default.
- W4297817913 hasConceptScore W4297817913C534406577 @default.
- W4297817913 hasConceptScore W4297817913C61673122 @default.
- W4297817913 hasConceptScore W4297817913C62360110 @default.
- W4297817913 hasConceptScore W4297817913C71695816 @default.
- W4297817913 hasConceptScore W4297817913C80444323 @default.
- W4297817913 hasLocation W42978179131 @default.
- W4297817913 hasOpenAccess W4297817913 @default.
- W4297817913 hasPrimaryLocation W42978179131 @default.
- W4297817913 hasRelatedWork W100862262 @default.
- W4297817913 hasRelatedWork W1596091457 @default.
- W4297817913 hasRelatedWork W1645894569 @default.
- W4297817913 hasRelatedWork W1840472063 @default.
- W4297817913 hasRelatedWork W190956113 @default.
- W4297817913 hasRelatedWork W2370836279 @default.
- W4297817913 hasRelatedWork W2747747587 @default.
- W4297817913 hasRelatedWork W2962881614 @default.
- W4297817913 hasRelatedWork W3088164555 @default.
- W4297817913 hasRelatedWork W4286783801 @default.
- W4297817913 isParatext "false" @default.
- W4297817913 isRetracted "false" @default.
- W4297817913 workType "article" @default.