Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles

Franz BaaderFranz Baader
Franz Baader
Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles
Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003
  • KurzfassungAbstract
    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 de nitions in description logics. In this paper we show that subsumption in EL (with or without cyclic de - nitions) remains polynomial even if one adds a certain restricted form of global role-value-maps to EL. In particular, this kind of role-value-maps can express transitivity of roles.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ BaaderDL2003,
  author = {Franz {Baader}},
  booktitle = {Proceedings of the 2003 International Workshop on Description Logics ({DL2003})},
  series = {CEUR-WS},
  title = {Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles},
  year = {2003},
}