Bernhard Hollunder und Werner Nutt - Info zur Person

(1 - 16 von 18

)

The complexity of existential quantification in concept languages.PhilPapers

philpapers.org

... author = {Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Bernhard Hollunder and Werner Nutt and Alberto Marchetti Spaccamela}, ...

WS : Principles of Knowledge Representation and Reasoning:...

www2.informatik.uni-freiburg.de

... and Bernhard Hollunder Jochen Heinsohn, Bernhard Hollunder, Jürgen Müller, Bernhard ... Bernhard Hollunder and Werner Nutt. Subsumption Algorithms for ...

Automated Reasoning with Analytic Tableaux and Related ...google.de

books.google.de

... Bernhard Hollunder, Maurizio Lenzerini, Alberto Marchetti Spaccamela, Daniele Nardi, and Werner Nutt. The complexity of existential quantification in ...

Publications of Bernhard Hollunder

mkh.cs.man.ac.uk

[1], Subsumption Algorithms for Concept Description Languages (Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß), In , [bib] ...

Automated Reasoning with Analytic Tableaux and Related ...google.gr

books.google.gr

Francesco M. Donini, Bernhard Hollunder, Maurizio Lenzerini, Alberto Marchetti Spaccamela, Daniele Nardi, and Werner Nutt. The complexity of existential ...

DFKI - DeutschesDFKI

www.dfki.de

Bernhard Hollunder, Jürgen Müller, Bernhard Nebel,. Werner Nutt, Hans-Jürgen ... Bernhard Hollunder, Jürgen Müller, Bernhard Nebel,. Werner Nutt, Hans-Jürgen ... Bernhard Hollunder, Jürgen Müller, Bernhard Nebel,. Werner Nutt, Hans-Jürgen ... Bernhard Hollunder, Jürgen Müller, Bernhard Nebel,. Werner Nutt, Hans-Jürgen ...

OWL-QL A Language for Deductive Query Answering on the Semantic Web....

docplayer.net

... (ex:age _:x xsd:number^^ 43 ) (ex:location _:x ex:marketing) where the value of rdf:type is the table Jochen Heinsohn, Bernhard Hollunder, Jürgen, Müller, Bernard Nebel, Werner Nutt and Information Technology for KM ... by the CIDOC CRM Special Interest Group Version January Editors: Nick Crofts,.

Terminological Knowledge Representation: A Proposal for ...TU Dresden

lat.inf.tu-dresden.de

Bernhard Hollunder, J urgen M uller, Bernhard Nebel,. Werner Nutt, Hans-J urgen Pro tlich. Deutsches Forschungszentrum f ur K unstliche Intelligenz (DFKI). Bernhard Hollunder, J urgen M uller, Bernhard Nebel,. Werner Nutt, Hans-J urgen Pro tlich. Deutsches Forschungszentrum f ur K unstliche Intelligenz (DFKI).

Research Report Hybrid Inferences in KL-ONE-based ...Universität des Saarlandes

publikationen.sulb.uni-saarland.de

von B Hollunder · · Zitiert von: 72 — Bernhard Hollunder. May Deutsches Forschungszentrum fur Kunstliche Intelligenz ... Bernhard Hollunder & Werner Nutt. Subsumption Algorithms for Concept ... von B Hollunder · · Zitiert von: 72 — Bernhard Hollunder. May Deutsches Forschungszentrum fur Kunstliche Intelligenz ... Bernhard Hollunder & Werner Nutt. Subsumption Algorithms for Concept ...

Terminological Knowledge Representation: A Proposal for ...Albert-Ludwigs-Universität Freiburg

gki.informatik.uni-freiburg.de

von F Baader · Zitiert von: 122 — Bernhard Hollunder, Jürgen Müller, Bernhard Nebel,. Werner Nutt, Hans-Jürgen Profitlich. Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI). von F Baader · Zitiert von: 122 — Bernhard Hollunder, Jürgen Müller, Bernhard Nebel,. Werner Nutt, Hans-Jürgen Profitlich. Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI).

The complexity of existential quantification in concept ...ScienceDirect

www.sciencedirect.com

von FM Donini · · Zitiert von: 168 — Bernhard Hollunder and Werner Nutt. German Research Center for Artificial Intelligence, Postfach 2080, D Kaiserslautern,. Germany.

Research Report The Complexity of Existential ...CORE

core.ac.uk

1991 · Zitiert von: 168 — Francesco Donini, Bernhard Hollunder, Maurizio Lenzerini,. Alberto Marchetti ... Heinsohn, Bernhard Hollunder, Jurgen Mul/er,. Bernhard Nebel, Werner Nutt · Zitiert von: 168 — Francesco Donini, Bernhard Hollunder, Maurizio Lenzerini,. Alberto Marchetti ... Heinsohn, Bernhard Hollunder, Jurgen Mul/er,. Bernhard Nebel, Werner Nutt ...