17 відносини: C++, Java, Lisp, W3C, Web Ontology Language, XML, Клас складності P, Перетин множин, Об'єднання множин, Обчислювальна складність, Онтологія (інформатика), Семантична мережа, Семантична павутина, Машина висновування, База знань, Доповнення множин, 2004.
C++
C++ (Сі-плюс-плюс) — мова програмування високого рівня з підтримкою кількох парадигм програмування: об'єктно-орієнтованої, узагальненої та процедурної.
Новинка!!: Описова логіка і C++ · Побачити більше »
Java
Java (вимовляється Джава) — об'єктно-орієнтована мова програмування, випущена 1995 року компанією «Sun Microsystems» як основний компонент платформи Java.
Новинка!!: Описова логіка і Java · Побачити більше »
Lisp
Лісп (Lisp) — мова програмування загального призначення з підтримкою парадигм функціонального та процедурного програмування.
Новинка!!: Описова логіка і Lisp · Побачити більше »
W3C
Консорціум Всесвітньої павутини (World Wide Web Consortium, W3C) — головна міжнародна організація, що розробляє й впроваджує технологічні стандарти для всесвітньої павутини.
Новинка!!: Описова логіка і W3C · Побачити більше »
Web Ontology Language
Формат заголовка SSTP OWL (Web Ontology Language) — мова опису онтологій для семантичної павутини.
Новинка!!: Описова логіка і Web Ontology Language · Побачити більше »
XML
Розши́рювана мо́ва розмі́тки (Extensible Markup Language, скорочено XML) — запропонований консорціумом World Wide Web (W3C) стандарт побудови мов розмітки ієрархічно структурованих даних для обміну між різними застосунками, зокрема, через Інтернет.
Новинка!!: Описова логіка і XML · Побачити більше »
Клас складності P
Клас складності P (Complexity class P) — клас задач, що можна розв'язати алгоритмами з поліноміальним часом.
Новинка!!: Описова логіка і Клас складності P · Побачити більше »
Перетин множин
В математиці, зокрема в теорії множин, перетином двох множин A та B називається множина, яка складається з усіх елементів множини A, які одночасно належать і множині B та навпаки (всі елементи множини B які належать A) і тільки їх.
Новинка!!: Описова логіка і Перетин множин · Побачити більше »
Об'єднання множин
У математиці, зокрема в теорії множин, об'єднання множин є множиною, яка включає в себе всі елементи об'єднуваних множин і нічого більше.
Новинка!!: Описова логіка і Об'єднання множин · Побачити більше »
Обчислювальна складність
Складність обчислювальних процесів — це поняття теорії складності обчислень, оцінка ресурсів (зазвичай часу) необхідних для виконання алгоритму.
Новинка!!: Описова логіка і Обчислювальна складність · Побачити більше »
Онтологія (інформатика)
Онтоло́гія — формалізоване представлення знань про певну предметну область (середовище, світ), придатне для автоматизованої обробки.
Новинка!!: Описова логіка і Онтологія (інформатика) · Побачити більше »
Семантична мережа
Приклад семантичної мережі Семантична мережа — інформаційна модель предметної області, що має вигляд орієнтованого графа, вершини якого відповідають об'єктам предметної області, а ребра задають відносини між ними.
Новинка!!: Описова логіка і Семантична мережа · Побачити більше »
Семантична павутина
Логотип W3C Семантичної павутини Семантична павутина (Semantic web) — нова концепція розвитку Всесвітньої павутини і мережі Інтернет, яка створена і впроваджується Консорціумом Всесвітньої павутини (World Wide Web Consortium). Інші назви — семантичний веб, семантична мережа.
Новинка!!: Описова логіка і Семантична павутина · Побачити більше »
Машина висновування
Машина висно́вування — програма, яка робить логічні висновки з попередньо побудованої бази фактів і правил згідно з законами формальної логіки.
Новинка!!: Описова логіка і Машина висновування · Побачити більше »
База знань
Ба́за зна́нь, БЗ (Knowledge base, KB) — це особливого роду база даних, розроблена для управління знаннями (метаданими), тобто збором, зберіганням, пошуком і видачею знань.
Новинка!!: Описова логіка і База знань · Побачити більше »
Доповнення множин
В теорії множин та інших галузях математики, одна з основних операцій на множинах.
Новинка!!: Описова логіка і Доповнення множин · Побачити більше »
2004
Без опису.
Новинка!!: Описова логіка і 2004 · Побачити більше »