Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: theorem

Sortuj według:

Ogranicz wyniki do:

Defeasible Reasoning in SROEL : from Rational Entailment to Rational Closure

Giordano L., Dupré D. T.

Fundamenta Informaticae

2018

Vol. 161, nr 1/2

135--161

In this work we study a rational extension SROEL(⊓, x)R T of the low complexity description logic SROEL(⊓, x), which underlies the OWL EL ontology language. The extension involves a typicality operator T, whose semantics is based on Lehmann and Magidor’s ranked models and allows for the definition of defeasible inclusions. We consider both rational entailment and minimal entailment. We show that deciding instance checking under minimal entailment is in general ∏2P -hard, while, under rational entailment, instance checking can be computed in polynomial time. We develop a Datalog calculus for instance checking under rational entailment and exploit it, with stratified negation, for computing the rational closure of simple KBs in polynomial time.

The two-actions theorem and its application to composite materials.

Stampouloglou J.H., Theotokoglou E.E.

Archive of Mechanical Engineering

2002

Vol. XLIX, nr 4

298-315

In the present study a new energy theorem is proposed, "The two actions theorem", which is valid in linear elastostatic problems. A new formalism concerning the works done by external actions is introduced. Known energy theorems are proved using the proposed two-action theorem. A composite materials problem is confronted in terms of the two actions theorem and energy relations are formulated. Finally, it is presented a study on the problems of a composed two material below cylinder under internal and external pressure, and of stretching of an infinite plate with an inserted elastic disc of a different material. The proposed energy relations are veryfied in these applications.

W pracy przedstawiono nowe twierdzenie, "Twierdzenie o podwójnych oddziaływaniach", które ma zastosowanie w liniowych zagadnieniach elastostatycznych. Wprowadzono nowy formalizm dla wyrażenia pracy wykonanej przez oddziaływania zewnętrzne. Twierdzenie o podwójnych oddziaływaniach może posłużyć do weryfikacji znanych twierdzeń związanych z energią. Twierdzenie wykorzystano w zagadnieniu dotyczącym materiałów kompozytowych formułując zależności energetyczne. Ponadto, zaprezentowano dwa przykłady aplikacji twierdzenia: w zastosowaniu do cylindra złożonego z dwu cylindrów z różnych materiałów poddanego ciśnieniu wewnętrznemu i zewnętrznemu, oraz w zagadnieniu rozciągania nieskończonej płyty z wbudowanym elastycznym dyskiem z innego materiału. W aplikacjach tych zweryfikowano zaproponowane związki energetyczne.