The thought behind this is that there are many belief-forming processes, some reliable and some not; those that are reliable yield justified beliefs. Though this is how Reliabilism is often formulated today, and is similar to how Alvin Goldman ([1979]) initially formulates the view, a more sophisticated rule-based version of the theory is offered by Goldman in Epistemology and Cognition ([1986]...

Most Semantic Web applications are build on top of technology based on the Semantic Web layer cake and the W3C ontology languages RDF(S) and OWL. However RDF(S) embodies a graph abstraction model and thus is represented by triple-based artifacts. Using OWL as a language for Semantic Web knowledge-bases, this abstraction no longer holds. OWL is build up on an axiomatic model representation. Cons...

Although EL is a popular logic used in large existing knowledge bases, to the best of our knowledge no procedure has yet been proposed that computes uniform EL interpolants of general EL terminologies. Up to now, also the bounds on the size of uniform EL interpolants remain unknown. In this paper, we propose an approach based on proof theory and the theory of formal tree languages to computing ...

external effects or opposabilité is a legal subject that some legal authors of france take advantage of which for clarifying the scope of the doctrine of the privity of contract and as a complementary principal. the use of the foresaid term does not go back to a long way and there is still a dispute over its bases. because the doctrine of the privity of contract is adapted from the civil code o...

We prove that there is a Steiner triple system T such that every simple cubic graph can have its edges coloured by points of T in such a way that for each vertex the colours of the three incident edges form a triple in T . This result complements the result of Holroyd and Škoviera that every bridgeless cubic graph admits a similar colouring by any Steiner triple system of order greater than 3. ...

The notion of a non-associative universal enveloping algebra for a Lie triple system arises when Lie triple systems are considered as Bol algebras (more generally, Sabinin algebras). In this paper a new construction for these universal enveloping algebras is given, and their properties are studied. It is shown that universal enveloping algebras of Lie triple systems have surprisingly few ideals...

The irreducible bases of the group space of the icosahedral double groups I’ and Ih are calculated explicitly. Applying those bases on the spin states |j, μ〉, we present a simple formula to combine the spin states into the symmetrical adapted bases, belonging to a given row of a given irreducible representations of I’ and Ih.

triple a syndrome (allgrove syndrome) is a rare inherited autosomal recessive disease with a typical triad including adrenocorticotrophic-hormone-resistant glucocorticoid insufficiency, reduced or absent tearing (alacrima) and achalasia and a wide range of symptoms can be detected due to multi organ involvement. this report describes the case of a triple asyndrome, a12 year-old boy with a histo...