A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles
2003
International Workshop on Description Logics
In a previous paper we have investigated subsumption in the presence of terminological cycles for the description logic EL, which allows conjunctions, existential restrictions, and the top concept, and have shown that the subsumption problem remains polynomial for all three types of semantics usually considered for cyclic definitions in description logics. In this paper we show that subsumption in EL (with or without cyclic definitions) remains polynomial even if one adds a certain restricted
dblp:conf/dlog/Baader03
fatcat:chainmrc7nfyvdh6zvd6myx73y