Filters
What does Mathematical Fuzzy Logic Offer to Description Logic?
Continuous t-norm based fuzzy predicate logic is surveyed as a generalization of classical predicate logic; the kind of fuzzy description logic based on our fuzzy predicate logic is briefly described as a ...
BA - Obecná matematika
- 2006 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Towards Typed Higher-Order Description Logics
Main topics of the document: description logic; higher-order logic; theory of types; meta modelling...
IN - Informatika
- 2013 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
EL description logic with aggregation of user preference concepts
EL description logic with aggregation of user preference concepts...
JC - Počítačový hardware a software
- 2007 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Towards Higher-order OWL
Main topics of the document: description logics; OWL; higher-order logic...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- JSC •
- Link
Rok uplatnění
JSC - Článek v periodiku v databázi SCOPUS
Výsledek na webu
Non-clausal Resolution Theorem Proving for Fuzzy Description Logic
for the Fuzzy Description Logic based on the general (non-clausal) resolution rule description logic and for fuzzy predicate logic. The problem of automated reasoning concerning fuzzy logic requi...
JD - Využití počítačů, robotika a její aplikace
- 2006 •
- A
Rok uplatnění
A - Audiovizuální tvorba
Non-clausal Resolution Theorem Proving for Fuzzy Description Logic
for the Fuzzy Description Logic based on the general (non-clausal) resolution rule description logic and for fuzzy predicate logic. The problem of automated reasoning concerning fuzzy logic requi...
JD - Využití počítačů, robotika a její aplikace
- 2006 •
- D
Rok uplatnění
D - Stať ve sborníku
Formal Structure Description of a Logical Text
Meaning Structure of a Formal Logical Text.
AA - Filosofie a náboženství
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
Ontology for sensors
The aim of this paper is the description of our structure. This structure is created as an extension of Sensor ML. The first part of the paper is description of logic, which is used to describe the ontology. We describe ru...
IN - Informatika
- 2011 •
- D
Rok uplatnění
D - Stať ve sborníku
On Finitely-valued Fuzzy Description Logics
This paper deals with finitely-valued fuzzy description languages from a logical point of view. From recent results in Mathematical Fuzzy Logic and following P.Hájek's "Making Fuzzy Description Logics more...
IN - Informatika
- 2014 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
EL description logic modeling querying web and learning imperfect user preferences
EL description logic modeling querying web and learning imperfect user preferences...
JC - Počítačový hardware a software
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 out of 46 344