We investigate the complexity of several decision, enumeration and counting problems in axiom pinpointing in Description Logics. We prove hardness results that already hold for the propositional Horn fragment. We show that for this fragment, unless p = np, all minimal subsets of a given TBox that have a given consequence, i.e. MinAs, cannot be enumerated in a specified lexicographic order with ...

Helmi Risku-Norja MTT Agrifood Research Finland, Economic Research, FI-31600 Jokioinen Finland, e-mail: [email protected] Reija Hietala Department of Applied Biology and Agroecology, FI-00014 Helsinki University, Finland Hanna Virtanen MTT Agrifood Research Finland, Biotechnology and Food Research, FI-31600 Jokioinen, Finland Hanna Ketomäki MTT Agrifood Research Finland, Economic Researc...

According to R. Hanna, absolute systems, like Fichte and Hegel’s can be logically truly possible only if they neglect any ontological status extern reality. Although Hanna’s thesis seems correct concerning philosophy, Fichte’s idealism cannot classified as Hanna suggests. Rather, develops, it will shown, what calls a realist idealism, i.e. transcendental compatible with realism.

La responsabilidad ambiental de las empresas mineras es una preocupación nacional ya que contaminan aguas subterráneas y superficiales debido a la generación drenaje ácido mina contiene metales pesados afectando salud los seres vivos. El objetivo investigación fue conocer el impacto del compostaje desechos orgánicos municipales en enmendación mina. Se desarrolló bajo guía metodológica enfoque c...