Translation of "Inference rule" in German
The
project
aims
to
encompass
a
"hybrid
process"
modelling
framework
that
reconciliates
semantic
inference,
rule-based
inference,
meta-modelling
management
techniques
and
knowledge
management
techniques
in
order
to
bring
SMEs
closer
to
the
Cloud
by
making
it
attractive
for
them
to
incorporate
cloud
resources
and
components
for
their
realization
of
their
goals.The
Cloud
Service
Brokerage
platform
offers
customers
and
their
end
users
a
service
marketplace
from
which
to
select
and
provision
BPaaS,
SaaS
and
IaaS
services.
Das
Projekt
strebt
einen
«Hybridprozess»-Modellierungsrahmen
an,
der
semantische
Inferenz,
regelbasierte
Inferenz,
Metamodellierungsmanagement-Techniken
und
Wissensmanagement-Techniken
miteinander
vereint,
um
kleine
und
mittlere
Unternehmen
(SME)
enger
an
die
Cloud
zu
bringen,
indem
die
Einbindung
von
Cloud-Ressourcen
und
-Komponenten
zum
Zweck
der
Erreichung
ihrer
Ziele
für
diese
Unternehmen
attraktiver
gemacht
wird.Die
«Cloud
Service
Brokerage»-Plattform
bietet
Kunden
und
deren
Endbenutzern
einen
Dienste-Marktplatz
für
die
Auswahl
und
Bereitstellung
von
BPaaS-,
SaaS-
und
IaaS-Diensten.
ParaCrawl v7.1
None
of
the
inference
rules
below
will
take
care
or
even
note
them.
Keine
der
Inferenzregeln
ist
für
sie
zuständig
oder
würde
ihre
Abwesenheit
bemerken.
WikiMatrix v1
In
addition
to
its
predefined
inference
and
equivalence
rules,
Aris
also
supports
references
to
older
proofs.
Neben
vordefinierten
Inferenz-
und
Äquivalenzregeln
unterstützt
Aris
auch
Verweise
auf
ältere
Nachweise.
ParaCrawl v7.1
Based
on
this
experience,
we
have
inferred
three
rules:
Drei
Regeln
haben
wir
auf
Grundlage
dieser
Erfahrungen
abgeleitet:
ParaCrawl v7.1
The
syntax
of
HM
is
carried
forward
to
the
syntax
of
the
inference
rules
that
form
the
body
of
the
formal
system,
by
using
the
typings
as
judgments.
Die
Syntax
von
HM
wird
durch
die
Syntax
der
Inferenzregeln
fortgeführt,
die
den
Körper
des
formalen
Systems
bilden,
indem
sie
die
Typungen
als
Urteile
verwenden.
WikiMatrix v1
In
the
course
of
the
inference
process,
a
dynamic
knowledge
base
is
built
up,
the
contents
of
which
are
formed,
for
example,
be
corrected
averages
of
the
collective
events
after
a
lengthy
period
of
operation
or
by
inferences
from
rules.
Im
Verlauf
des
Schlussfolgerungsprozesses
wird
eine
dynamische
Wissensbank
aufgebaut,
deren
Inhalt
beispielsweise
durch
verbesserte
Mittelwerte
des
Kollektivs
nach
längerem
Betrieb
oder
durch
Schlussfolgerungen
aus
Regeln
gebildet
wird.
EuroPat v2
In
the
course
of
the
inference
process,
a
dynamic
knowledge
base
is
built
up,
the
contents
of
which
can
be
formed,
for
example,
by
corrected
averages
of
the
collective
after
a
long
period
of
operation
and/or
by
inferences
from
rules.
Im
Verlauf
des
Schlussfolgerungsprozesses
wird
eine
dynamische
Wissensbank
aufgebaut,
deren
Inhalt
beispielsweise
durch
verbesserte
Mittelwerte
des
Kollektivs
nach
langem
Betrieb
und/oder
durch
Schlussfolgerungen
aus
Regeln
gebildet
sein
kann.
EuroPat v2
The
same
might
also
be
inferred
from
Rule
24(1)
or
Rule
36(5)
of
the
Implementing
Regulations.
Ferner
könnte
er
sich
aus
Regel
24
(1)
oder
Regel
36
(5)
der
Ausführungsordnung
ergeben.
ParaCrawl v7.1
However,
it
is
not
to
be
inferred
from
these
rules
that
searches
or
examinations
in
the
software
field
are
to
be
ruled
out
in
international
authorities.
Diesen
Regeln
ist
aber
nicht
zu
entnehmen,
daß
eine
Recherche
oder
Prüfung
auf
dem
Software-Gebiet
bei
den
internationalen
Behörden
ausgeschlossen
sein
soll.
ParaCrawl v7.1
Anyway,
the
opinion
prepared
by
lawyer
Miguel
Reale
Júnior
(pages
122-152)
we
can
infer
that
their
rules
depend
on
'mathematical
probabilities,
knowledge
of
the
rules
and
strategies
of
the
game,
ability
to
grasp
the
psychological
reactions
of
opponents,
possible
conceal
his
cards
and
letters
to
predict
the
other
'(p.
142),
entremostram
aspects
that,
at
this
preliminary
stage,
the
prominence
of
skill
over
luck.
Wie
auch
immer,
die
Meinung
von
Rechtsanwalt
Miguel
Reale
Júnior
(Seiten
122-152)
vorbereitet
können
wir
folgern,
dass
ihre
Vorschriften
über
die
"mathematische
Wahrscheinlichkeiten,
die
Kenntnis
der
Regeln
und
Strategien
des
Spiels,
die
Fähigkeit,
die
psychologischen
Reaktionen
der
Gegner
greifen
hängen,
verbergen
möglich
sein
Karten
und
Briefe,
die
andere
"(S.
142)
vorherzusagen,
entremostram
Aspekte,
die
in
diesem
frühen
Stadium,
die
Prominenz
der
Fertigkeit
Glück.
ParaCrawl v7.1
9.
The
sole
reason
given
by
the
Receiving
Section
for
its
refusal
to
prevent
publication
was
its
statement
that
it
is
obliged
to
publish
by
law.
However,
since
no
such
obligation
can
be
inferred
from
Rule
48
EPC
and
since
the
Receiving
Section
did
not
say
whether
it
would
still
have
been
possible
to
prevent
publication
in
this
case,
the
decision
appealed
has
to
be
set
aside.
Da
eine
derartige
Verpflichtung
aber
aus
Regel
48
EPÜ
nicht
hergeleitet
werden
kann
und
die
Eingangsstelle
sich
nicht
dazu
geäußert
hat,
ob
die
Verhinderung
der
Veröffentlichung
im
vorliegenden
Fall
noch
möglich
gewesen
wäre,
ist
die
angefochtene
Entscheidung
aufzuheben.
ParaCrawl v7.1