Rodzina rozstrzygalnych fragmentów logiki pierwszego rzędu do opisu pojęć, ról i obiektów; formalna podstawa języka ontologii OWL.
Family of decidable fragments of first-order logic describing concepts, roles and individuals; the formal basis of the OWL ontology language.
Precyzyjny język do opisywania pojęć i ich związków, z którego program sam wyciąga ukryte wnioski o kategoriach.
A precise language for describing concepts and their links, from which software draws hidden conclusions about categories.
W dużych słownikach pojęć, np. medycznych, ludzie nie zauważają sprzeczności i brakujących powiązań między tysiącami kategorii.
In large vocabularies, such as medical ones, people miss contradictions and missing links among thousands of categories.
Jak skrupulatny bibliotekarz, który z definicji sam ustala, że każda książka z jednej półki należy też do szerszego działu.
Like a meticulous librarian who deduces from definitions that every book on one shelf also belongs to a broader section.
System medyczny sam ustala, że zapalenie płuc zapisane u pacjenta jest chorobą układu oddechowego, choć nikt tego nie wpisał.
A medical system works out that a patient's recorded pneumonia is a respiratory disease, though nobody entered that.