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 ...
Alle Infos zum Namen "Bernhard Hollunder"
1991 Description Logic Workshop
dl.kr.org
Franz Baader, Hans-Jürgen Bürckert, Jochen Heinsohn, Bernhard Hollunder, Jürgen Müller, Bernhard Nebel, Werner Nutt, Hans-Jürgen Profitlich: Terminological Knowledge Representation: A Proposal for a Terminological Logic
DiSC - Werner NuttSigmod.org
www09.sigmod.org
15 Franz Baader , Philipp Hanschke , Bernhard Hollunder , Bernhard Nebel , Werner Nutt: ``Third International Conference on Principles of Knowledge ...
Usability Issues in Knowledge Representation Systems - ECT
ect.bell-labs.com
sohn, Bernhard Hollunder, Jürgen Müller, Bernhard. Nebel, Werner Nutt, and Hans-Jürgen Profitlich. Ter-. minological knowledge representation: A proposal for.
Künstliche Intelligenz
www.vldb.org
... Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt: ... Bernhard Hollunder, Bernhard Nebel: Second International Conference on ...
sortiert nach Relevanz / Datum