Description logic (original) (raw)
Deskribapen logika (DL, ingelesez Description Logic), lengoaia formalen talde bat da. DL lengoaiak adimen artifizialean erabiltzen dira esparru konkretu baten kontzeptuekin arrazonamendu formalak egiteko. DL lengoaiek, OWL bereziki, web semantikoaren funtsa osatzen dute.
| Property | Value |
|---|---|
| dbo:abstract | Les lògiques de descripció també anomenades lògiques descriptives (DL per description logics) són una família de llenguatges de representació del coneixement que poden ser usats per a representar coneixement terminològic d'un domini d'aplicació d'una forma estructurada i formalment ben compresa. El nom lògica de descripció es refereix, d'una banda, a descripcions de conceptes usades per descriure un domini i, d'altra banda, a la semàntica que estableix una equivalència entre les fórmules de lògiques de descripció i expressions en lògica de predicats de primer ordre. DL es va dissenyar com una extensió de frames (marcs) i , els quals no estaven equipats amb semàntica basada en la lògica. A diferència dels altres sistemes de representació ( i frames), aquestes lògiques estan dotades amb una semàntica formal basada en lògica i tenen característiques molt importants com són: * Un formalisme descriptiu: conceptes, rols, individus i constructors. * Un formalisme terminològic: axiomes terminològics que introdueixen descripcions complexes i propietats de la terminologia descriptiva . * Un formalisme assertiu: que introdueix propietats d'individus. * Són capaços d'inferir nou coneixement a partir de coneixement donat; tenen per tant, algoritmes de raonament que són decidibles. Els elements centrals de l'alfabet del llenguatge de les lògiques de descripció són: * Noms de concepte (concept name): assignen un nom a un grup d'objectes. * Noms de rol (role name): assigna un nom a una relació entre objectes. * Noms d'individus (o objectes): els individus són instàncies dels conceptes i també es poden relacionar per mitjà d'un rol. * Constructors (constructor): relaciona noms de conceptes i noms de rols, i també crea conceptes complexos a partir dels atòmics (complex concepts). * Definicions de conceptes complexos: usa els símbols per declarar conjunt d'igualtats i conjunts d'inclusions. El nom de lògica de descripció és dels anys 1980. Abans d'això es deia (cronològicament): sistemes terminològics , i llenguatges de conceptes .Les lògiques de descripció d'avui en dia s'han convertit en una pedra fonamental de la web semàntica per al seu ús en el disseny d'ontologies. El primer sistema basat en DL va ser (per Brachman and Schmolze, 1985). Després van venir d'altres terminals de DL. Estan Loom (1987), BACK (1988), Kris (1991), CLASSIC (1991), FACT (1998), RACER (2001), CEL (2005) i kaon 2 (2005). El desenvolupament d' va ser inspirat en DL. (ca) Beschreibungslogiken (engl. description logics), gelegentlich auch terminologische Logiken genannt, sind eine Familie von Sprachen zur Wissensrepräsentation. Der Name soll einerseits den primären Einsatzzweck verdeutlichen, einen Weltausschnitt mit seinen Objekten und ihren Beziehungen untereinander zu beschreiben. Andererseits soll deutlich werden, dass sie im Unterschied zu ihren Vorgängern Frames und Semantischen Netzwerken auf formaler Logik basieren. Die meisten Beschreibungslogiken sind Fragmente der Prädikatenlogik erster Stufe und sind eng verwandt mit Modallogiken. Viele Beschreibungslogiken können sogar als direkte Notationsvarianten bekannter Modallogiken angesehen werden. Ein wichtiger Unterschied zur Prädikatenlogik ist jedoch, dass viele beschreibungslogische Sprachen entscheidbar sind.Dies ermöglicht über eine Beschreibungslogik zu schließen, d. h. implizites Wissen durch Schlussfolgerung aus einer Wissensbasis abzuleiten. Formal unterteilt man eine Beschreibungslogik in der Regel in drei Teile: Eine Konzeptsprache oder Beschreibungssprache, in der die Ausdrucksmittel festgelegt werden, die zur Formulierung von Fakten erlaubt sind, ein Terminologischer Formalismus (die TBox) und ein Assertionaler Formalismus (die ABox). Die TBox enthält hierbei das Wissen über die Konzepte der Domäne, also das terminologische Wissen. Hier wird definiert, welche Klassen von Objekten es in der Domäne gibt und welche Eigenschaften sie haben. Im einfachsten Fall handelt es sich um eine Taxonomie von Konzepten, also zum Beispiel, dass die Menge der Elefanten eine Untermenge der Säugetiere ist.Die ABox hingegen enthält das Wissen über eine konkrete Instanz einer Domäne. Sie enthält Fakten über die Individuen und deren Eigenschaften sowie ihrer Beziehungen untereinander. In diesem Sinne repräsentiert sie den Zustand der modellierten Welt. Eine häufig gemachte Annahme ist, dass das terminologische Wissen in der TBox fest ist und sich nicht oder nur selten ändert, während das assertionale Wissen häufigeren oder sogar konstanten Änderungen unterliegt. Gemeint ist, dass Elefanten immer auch Säugetiere sein werden, die Menge der lebenden Elefanten sich jedoch ständig ändert. Beschreibungslogiken erlangen eine Bedeutung im Zusammenhang mit Ontologien und dem Semantic Web. Ontologiesprachen wie DAML+OIL und OWL besitzen – ebenso wie Beschreibungslogiken – eine wohl-definierte Syntax, die sich zum Beispiel auf die Beschreibungslogik SHOIN(D) abbilden lässt.Mit der Beschreibungslogik als Basis lässt sich daher über Ontologien schließen, was für den Einsatz von Ontologien im Semantic Web unerlässlich ist. Ein anderer Anwendungsfall findet sich im Bereich des Feature Oriented Programming, wo Beschreibungslogiken zur Beschreibung von Software-Konfigurationen verwendet werden. Das Aufkommen des Namens „Beschreibungslogik“ ist auf die frühen 1980er zu datieren. Frühere Namen sind (chronologisch): * Terminologische Systeme, * Terminologische Logiken, * Konzeptsprachen. Das erste Beschreibungslogik-basierte System war KL-ONE (1985). Weitere Systeme folgten, unter ihnen (1987), (1988), (1991), (1991), (1998), (2001) und zuletzt KAON 2 (2005). (de) Description logics (DL) are a family of formal knowledge representation languages. Many DLs are more expressive than propositional logic but less expressive than first-order logic. In contrast to the latter, the core reasoning problems for DLs are (usually) decidable, and efficient decision procedures have been designed and implemented for these problems. There are general, spatial, temporal, spatiotemporal, and fuzzy description logics, and each description logic features a different balance between expressive power and reasoning complexity by supporting different sets of mathematical constructors. DLs are used in artificial intelligence to describe and reason about the relevant concepts of an application domain (known as terminological knowledge). It is of particular importance in providing a logical formalism for ontologies and the Semantic Web: the Web Ontology Language (OWL) and its profiles are based on DLs. The most notable application of DLs and OWL is in biomedical informatics where DL assists in the codification of biomedical knowledge. (en) Las lógicas de descripción, también llamadas lógicas descriptivas (DL por description logics) son una familia de lenguajes de representación del conocimiento que pueden ser usados para representar conocimiento terminológico de un dominio de aplicación de una forma estructurada y formalmente bien comprendida. El nombre lógica de descripción se refiere, por un lado, a descripciones de conceptos usadas para describir un dominio y, por otro lado, a la semántica que establece una equivalencia entre las fórmulas de lógicas de descripción y expresiones en lógica de predicados de primer orden.DL se diseñó como una extensión de frames (marcos) y redes semánticas, los cuales no estaban equipados con semántica basada en la lógica. A diferencia de los demás sistemas de representación (redes semánticas y frames), estas lógicas están dotadas con una semántica formal basada en lógica y tienen características muy importantes como son: * Un formalismo descriptivo: conceptos, roles, individuos y constructores. * Un formalismo terminológico: axiomas terminológicos que introducen descripciones complejas y propiedades de la terminología descriptiva. * Un formalismo asertivo: que introduce propiedades de individuos. * Son capaces de inferir nuevo conocimiento a partir de conocimiento dado; tienen por tanto, algoritmos de razonamiento que son decidibles. Los elementos centrales del alfabeto del lenguaje de las lógicas de descripción son: * Nombres de concepto (concept name): asignan un nombre a un grupo de objetos. * Nombres de rol (role name): asigna un nombre a una relación entre objetos. * Nombres de individuos (u objetos): los individuos son instancias de los conceptos y también se pueden relacionar por medio de un rol. * Constructores (constructor): relaciona nombres de conceptos y nombres de roles, y también crea conceptos complejos a partir de los atómicos (complex concepts). * Definiciones de conceptos complejos: usa los símbolos y para declarar conjunto de igualdades y conjuntos de inclusiones. El nombre de lógica de descripción es de los años 1980s. Antes de esto se llamaba (cronológicamente): sistemas terminológicos, y lenguajes de conceptos.Las lógicas de descripción de hoy en día se han convertido en una piedra fundamental de la web semántica para su uso en el diseño de ontologías. El primer sistema basado en DL fue (por Brachman and Schmolze, 1985).Después vinieron algunos otros sistemas de DL. Están LOOM (1987), BACK (1988), KRIS (1991), CLASSIC (1991), FaCT (1998), RACER (2001), CEL (2005), KAON 2 (2005) y JCEL (2010). El desarrollo de fue inspirado en DL. (es) Deskribapen logika (DL, ingelesez Description Logic), lengoaia formalen talde bat da. DL lengoaiak adimen artifizialean erabiltzen dira esparru konkretu baten kontzeptuekin arrazonamendu formalak egiteko. DL lengoaiek, OWL bereziki, web semantikoaren funtsa osatzen dute. (eu) Les logiques de description aussi appelées logiques descriptives (LD) sont une famille de langages de représentation de connaissance qui peuvent être utilisés pour représenter la connaissance terminologique d'un domaine d'application d'une manière formelle et structurée. Le nom de logique de description se rapporte, d'une part à la description de concepts utilisée pour décrire un domaine et d'autre part à la sémantique basée sur la logique qui peut être donnée par une transcription en logique des prédicats du premier ordre. La logique de description a été développée comme une extension des langages à cadres, une famille de langage de programmation pour l'intelligence artificielle, et des réseaux sémantiques, qui ne possédaient pas de sémantique formelle basée sur la logique. (fr) Le logiche descrittive (indicate anche con la sigla DL, dall'inglese, description logics) sono una famiglia di formalismi utilizzati per rappresentare la conoscenza in un dominio di applicazione detto mondo.In primo luogo sono definiti i concetti rilevanti per quel dominio e, di seguito, utilizzando questi concetti si specificano le proprietà degli oggetti e degli individui appartenenti al dominio.Gli studi riguardanti le logiche descrittive si focalizzano sulla ricerca di metodi che descrivano in modo sempre più specifico il dominio di interesse tale da essere utilizzato per costruire applicazioni intelligenti.In questo contesto il termine intelligente è riferito all'abilità di un sistema di trovare delle conseguenze implicite rispetto a quelle esplicite rappresentate dalla conoscenza. Sistemi così caratterizzati sono definiti sistemi basati sulla conoscenza. Una delle caratteristiche dei linguaggi utilizzati per la rappresentazione della conoscenza è quella di essere forniti di semantiche basate sulla logica, con una enfasi particolare al cosiddetto ragionatore. Il ragionatore permette di rappresentare la conoscenza implicita ricavandola da quella esplicita presente in una ontologia. Dal punto di vista della conoscenza umana una logica descrittiva permette all'individuo uomo di strutturare e capire il mondo che lo circonda attraverso la classificazione degli individui e dei concetti.La classificazione dei concetti permette di determinare le relazioni tra i sottoconcetti e/o i superconcetti che a loro volta permettono di strutturare la tassonomia in modo gerarchico. La gerarchia è utile per ricavare informazioni circa le connessioni logiche tra concetti differenti. La classificazione degli individui e/o degli oggetti determina se uno specifico individuo è sempre una istanza di un determinato concetto. In generale, analogamente alla più generica logica del primo ordine, una logica descrittiva possiede le seguenti caratteristiche: * non è prevista l'ipotesi di unicità del nome (ovvero: nomi diversi possono riferirsi allo stesso concetto); * non è prevista l'ipotesi del mondo chiuso (si basa dunque sull'ipotesi del mondo aperto, ovvero: gli unici fatti noti sono quelli dichiarati esplicitamente). (it) Дескрипцио́нная логика (описательная логика, ранние наименования — терминологическая система, логика концептов) — язык представления знаний, позволяющий описывать понятия предметной области в недвусмысленном, формализованном виде, организованный по типу языков математической логики. Дескрипционные логики сочетают, с одной стороны, богатые выразительные возможности, а с другой — хорошие вычислительные свойства, такие как разрешимость и относительно невысокая вычислительная сложность основных логических проблем, что делает возможным их применение на практике, обеспечивая компромисс между выразительностью и разрешимостью. Могут быть рассмотрены как разрешимые фрагменты логики предикатов, синтаксически же они близки к модальным логикам. Современное название семейство получило в 1980-е годы, в то же время изучались как расширения теорий фреймовых структур и семантических сетей механизмами формальной логики. В 2000-е годы дескрипционные логики получили применение в рамках концепции семантической паутины, где их предлагалось использовать при построении онтологий. Фрагменты и языка веб-онтологий OWL также основаны на дескрпиционных логиках. (ru) A Lógica de descrição (LD) é uma família de linguagens formais de representação do conhecimento. É mais expressiva do que a lógica proposicional , mas tem problemas de decisão mais eficientes do que a lógica de predicados de primeira ordem. LD é usada em inteligência artificial para o raciocínio formal sobre os conceitos de um domínio de aplicação (conhecido como conhecimento terminológico). É de especial importância no provimento de um formalismo lógico para ontologias e Web Semântica. A aplicação mais notável fora da ciência da informação está em informática biomédica onde LD auxilia na codificação do conhecimento médico. (pt) Описо́ві ло́гіки (англ. description logics, іноді ще їх називають дескрипційними логіками) — сімейство мов представлення знань, що дозволяють описувати поняття предметної області в недвозначному, формалізованому вигляді. Вони поєднують в собі, з одного боку, багаті виражальні можливості, а з іншого — хороші обчислювальні властивості, такі як і відносно невисока обчислювальна складність основних логічних проблем, що робить можливим їх застосування на практиці. Таким чином, описові логіки являють собою компроміс між виражальністю і розв'язністю. Описову логіку можна розглядати як розв'язні фрагменти логіки предикатів, синтаксично ж вони близькі до модальних логік. Свою сучасну назву описові логіки отримали в 1980-х. Колишні назви (в хронологічному порядку): термінологічні системи, логіки концептів. Спочатку описові логіки зародилися як розширення фреймових структур та семантичних мереж механізмами формальної логіки. В даний час описові логіки є важливими в концепції Семантичної павутини, де їх передбачається використовувати при побудові онтологій. Фрагменти та мови вебонтологій OWL також засновані на описовій логіці. (uk) 描述逻辑（description logic）是一種用于知识表示的逻辑语言和以其为对象的，主要用于描述概念分类及其概念之间的关系。描述逻辑方法多数被用到涉及知识分类的应用领域，如数字图书馆和面向万维网的信息处理。描述逻辑是当前语义网发展中本体的理论基础。例如，OWL因特网本体语言就是一种描述逻辑SHIOQ (D)的语法形式。 描述逻辑根据其表达能力的程度不同，形成不同的逻辑子语言。绝大多数的描述逻辑类型都可以被看成对应着一阶逻辑的一个可判定性的片段（fragment），即每个描述逻辑中的命题都可以在有限时间内完成证明或证否。只有极少数的描述逻辑类型被认为是不可判定的。 一个描述逻辑系统中的名字可分为概念（concept），属性（role）和个体（individual）。例如，一个用描述逻辑描述的知识库如下： * 男人 人 （男人 是 人） * 丈夫 男人 婚配于.人 （丈夫是 婚配于 至少一个 人 的 男人） * 男人(张三) （张三是一个男人） 其中，“男人”、“人”、“丈夫”是概念，“婚配于”是属性，“张三”是个体。 (zh) |
| dbo:wikiPageExternalLink | http://dl.kr.org/dig/ http://hermit-reasoner.com/ http://lat.inf.tu-dresden.de/systems/cel/ http://owl.cs.manchester.ac.uk/tools/list-of-reasoners/ http://owl.man.ac.uk/factplusplus http://sim-dl.sourceforge.net/ http://www.aifb.kit.edu/images/1/19/DL-Intro.pdf http://www.racer-systems.com/ http://www.semantic-web-book.org/w/images/a/a9/DL-Foundations-RW2011.pdf https://franz.com/agraph/racer/racer_features.lhtml https://owlready2.readthedocs.io/en/latest/ http://ceur-ws.org/%3E, http://web.comlab.ox.ac.uk/people/Ian.Horrocks/Publications/download/2008/CHMP+08.pdf http://web.comlab.ox.ac.uk/people/Ian.Horrocks/Publications/download/2008/Horr08a.pdf http://www.w3.org/2001/sw/WebOnt/charter http://www.w3.org/2004/01/sws-pressrelease http://www.w3.org/2007/06/OWLCharter.html http://www.w3.org/2009/10/owl2-pr http://www.cs.man.ac.uk/~ezolin/dl/ http://www.cs.man.ac.uk/~schmidt/mspass/ https://doi.org/10.1007%2F978-3-642-03754-2_1 https://doi.org/10.1007%2F978-3-642-23032-5_2 https://web.archive.org/web/20060419191746/http:/www.cerebra.com/ https://web.archive.org/web/20070925082014/http:/pellet.owldl.com/ https://web.archive.org/web/20120218092244/http:/lat.inf.tu-dresden.de/research/papers-2001.html%23HorrocksSattler-IJCAI https://web.archive.org/web/20120301231310/http:/lat.inf.tu-dresden.de/research/papers-2009.html%23Baader09 http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2001/HoPa01.pdf http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2001/IEEE-IS01.pdf http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2003/HoPH03a.pdf http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2007/BaHS07a.pdf http://www.inf.unibz.it/~franconi/dl/course/ http://www.inf.unibz.it/~franconi/papers/time-handbook.ps.gz |
| dbo:wikiPageID | 183503 (xsd:integer) |
| dbo:wikiPageLength | 38323 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1095509343 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Protégé_(software) dbr:Python_(programming_language) dbr:Ronald_J._Brachman dbr:Modal_logic dbr:Open-source_model dbr:Department_of_Computer_Science,_University_of_Manchester dbr:DARPA_Agent_Markup_Language dbr:Unary_operation dbr:University_of_Manchester dbr:University_of_Oxford dbr:Decidability_(logic) dbr:Dynamic_logic_(modal_logic) dbr:Universal_quantifier dbc:Artificial_intelligence dbr:Complement_(set_theory) dbr:SNOMED_CT dbr:Negation dbr:Ontology_Inference_Layer dbr:Open_world_assumption dbr:Semantic_parameterization dbr:Semantic_reasoner dbr:Franz_Baader dbr:Front_and_back_ends dbr:Concept dbr:LOOM_(ontology) dbr:Logical_conjunction dbr:Closed-world_assumption dbr:Complexity_class dbr:Empty_set dbr:Kripke_semantics dbr:Unique_name_assumption dbr:Paradigm dbr:Propositional_dynamic_logic dbr:Propositional_logic dbr:Syntax_(logic) dbr:Transitive_closure dbr:Transitive_relation dbr:Web_Ontology_Language dbr:Web_browser dbr:Fuzzy_logic dbr:Lattice_(order) dbr:Lecture_Notes_in_Computer_Science dbr:Linear_temporal_logic dbr:Two-variable_logic dbr:Datalog dbc:Non-classical_logic dbr:First-order_logic dbr:Formal_concept_analysis dbr:Fragment_(logic) dbr:KL-ONE dbr:Knowledge_base dbr:Knowledge_representation_and_reasoning dbr:Uniqueness_quantification dbr:Knowledge_representation dbr:ABox dbc:Knowledge_representation_languages dbr:Intersection_(set_theory) dbr:Java_(programming_language) dbr:Counting_quantification dbr:Temporal_logic dbr:Jens_Lehmann_(scientist) dbr:Artificial_intelligence dbc:Information_science dbr:Abox dbr:KAON dbr:Domain_of_discourse dbr:Axiom dbr:Guarded_logic dbr:DAMLplusOIL dbr:Ian_Horrocks dbr:Method_of_analytic_tableaux dbr:Ontology_(information_science) dbr:Set_(mathematics) dbr:World_Wide_Web_Consortium dbr:Semantics dbr:Union_(set_theory) dbr:Expressive_power_(computer_science) dbr:Semantic_Web dbr:Semantic_network dbr:Ontology_Language dbr:Disjunction dbr:Ground_sentence dbr:Biomedical_informatics dbr:Semantic_frames dbr:Existential_quantifier dbr:Predicate_(logic) dbr:Enrico_Franconi dbr:František_Simančík dbr:Markus_Krötzsch dbr:RACER_system dbr:Sebastian_Rudolph |
| dbp:wikiPageUsesTemplate | dbt:GitHub dbt:Anchor dbt:Citation_needed dbt:ISBN dbt:NumBlk dbt:Portal dbt:Reflist dbt:Short_description dbt:EquationRef dbt:SourceForge dbt:EquationNote dbt:Computer_science dbt:Semantic_Web dbt:ArXiv dbt:Non-classical_logic |
| dcterms:subject | dbc:Artificial_intelligence dbc:Non-classical_logic dbc:Knowledge_representation_languages dbc:Information_science |
| gold:hypernym | dbr:Family |
| rdf:type | yago:Abstraction100002137 yago:Communication100033020 yago:Language106282651 yago:WikicatKnowledgeRepresentationLanguages |
| rdfs:comment | Deskribapen logika (DL, ingelesez Description Logic), lengoaia formalen talde bat da. DL lengoaiak adimen artifizialean erabiltzen dira esparru konkretu baten kontzeptuekin arrazonamendu formalak egiteko. DL lengoaiek, OWL bereziki, web semantikoaren funtsa osatzen dute. (eu) Les logiques de description aussi appelées logiques descriptives (LD) sont une famille de langages de représentation de connaissance qui peuvent être utilisés pour représenter la connaissance terminologique d'un domaine d'application d'une manière formelle et structurée. Le nom de logique de description se rapporte, d'une part à la description de concepts utilisée pour décrire un domaine et d'autre part à la sémantique basée sur la logique qui peut être donnée par une transcription en logique des prédicats du premier ordre. La logique de description a été développée comme une extension des langages à cadres, une famille de langage de programmation pour l'intelligence artificielle, et des réseaux sémantiques, qui ne possédaient pas de sémantique formelle basée sur la logique. (fr) 描述逻辑（description logic）是一種用于知识表示的逻辑语言和以其为对象的，主要用于描述概念分类及其概念之间的关系。描述逻辑方法多数被用到涉及知识分类的应用领域，如数字图书馆和面向万维网的信息处理。描述逻辑是当前语义网发展中本体的理论基础。例如，OWL因特网本体语言就是一种描述逻辑SHIOQ (D)的语法形式。 描述逻辑根据其表达能力的程度不同，形成不同的逻辑子语言。绝大多数的描述逻辑类型都可以被看成对应着一阶逻辑的一个可判定性的片段（fragment），即每个描述逻辑中的命题都可以在有限时间内完成证明或证否。只有极少数的描述逻辑类型被认为是不可判定的。 一个描述逻辑系统中的名字可分为概念（concept），属性（role）和个体（individual）。例如，一个用描述逻辑描述的知识库如下： * 男人 人 （男人 是 人） * 丈夫 男人 婚配于.人 （丈夫是 婚配于 至少一个 人 的 男人） * 男人(张三) （张三是一个男人） 其中，“男人”、“人”、“丈夫”是概念，“婚配于”是属性，“张三”是个体。 (zh) Les lògiques de descripció també anomenades lògiques descriptives (DL per description logics) són una família de llenguatges de representació del coneixement que poden ser usats per a representar coneixement terminològic d'un domini d'aplicació d'una forma estructurada i formalment ben compresa. El nom lògica de descripció es refereix, d'una banda, a descripcions de conceptes usades per descriure un domini i, d'altra banda, a la semàntica que estableix una equivalència entre les fórmules de lògiques de descripció i expressions en lògica de predicats de primer ordre. DL es va dissenyar com una extensió de frames (marcs) i , els quals no estaven equipats amb semàntica basada en la lògica. A diferència dels altres sistemes de representació ( i frames), aquestes lògiques estan dotades amb un (ca) Beschreibungslogiken (engl. description logics), gelegentlich auch terminologische Logiken genannt, sind eine Familie von Sprachen zur Wissensrepräsentation. Der Name soll einerseits den primären Einsatzzweck verdeutlichen, einen Weltausschnitt mit seinen Objekten und ihren Beziehungen untereinander zu beschreiben. Andererseits soll deutlich werden, dass sie im Unterschied zu ihren Vorgängern Frames und Semantischen Netzwerken auf formaler Logik basieren. Das Aufkommen des Namens „Beschreibungslogik“ ist auf die frühen 1980er zu datieren. Frühere Namen sind (chronologisch): (de) Description logics (DL) are a family of formal knowledge representation languages. Many DLs are more expressive than propositional logic but less expressive than first-order logic. In contrast to the latter, the core reasoning problems for DLs are (usually) decidable, and efficient decision procedures have been designed and implemented for these problems. There are general, spatial, temporal, spatiotemporal, and fuzzy description logics, and each description logic features a different balance between expressive power and reasoning complexity by supporting different sets of mathematical constructors. (en) Las lógicas de descripción, también llamadas lógicas descriptivas (DL por description logics) son una familia de lenguajes de representación del conocimiento que pueden ser usados para representar conocimiento terminológico de un dominio de aplicación de una forma estructurada y formalmente bien comprendida. El nombre lógica de descripción se refiere, por un lado, a descripciones de conceptos usadas para describir un dominio y, por otro lado, a la semántica que establece una equivalencia entre las fórmulas de lógicas de descripción y expresiones en lógica de predicados de primer orden.DL se diseñó como una extensión de frames (marcos) y redes semánticas, los cuales no estaban equipados con semántica basada en la lógica. A diferencia de los demás sistemas de representación (redes semánticas (es) Le logiche descrittive (indicate anche con la sigla DL, dall'inglese, description logics) sono una famiglia di formalismi utilizzati per rappresentare la conoscenza in un dominio di applicazione detto mondo.In primo luogo sono definiti i concetti rilevanti per quel dominio e, di seguito, utilizzando questi concetti si specificano le proprietà degli oggetti e degli individui appartenenti al dominio.Gli studi riguardanti le logiche descrittive si focalizzano sulla ricerca di metodi che descrivano in modo sempre più specifico il dominio di interesse tale da essere utilizzato per costruire applicazioni intelligenti.In questo contesto il termine intelligente è riferito all'abilità di un sistema di trovare delle conseguenze implicite rispetto a quelle esplicite rappresentate dalla conoscenza. Si (it) A Lógica de descrição (LD) é uma família de linguagens formais de representação do conhecimento. É mais expressiva do que a lógica proposicional , mas tem problemas de decisão mais eficientes do que a lógica de predicados de primeira ordem. (pt) Дескрипцио́нная логика (описательная логика, ранние наименования — терминологическая система, логика концептов) — язык представления знаний, позволяющий описывать понятия предметной области в недвусмысленном, формализованном виде, организованный по типу языков математической логики. Дескрипционные логики сочетают, с одной стороны, богатые выразительные возможности, а с другой — хорошие вычислительные свойства, такие как разрешимость и относительно невысокая вычислительная сложность основных логических проблем, что делает возможным их применение на практике, обеспечивая компромисс между выразительностью и разрешимостью. Могут быть рассмотрены как разрешимые фрагменты логики предикатов, синтаксически же они близки к модальным логикам. (ru) Описо́ві ло́гіки (англ. description logics, іноді ще їх називають дескрипційними логіками) — сімейство мов представлення знань, що дозволяють описувати поняття предметної області в недвозначному, формалізованому вигляді. Вони поєднують в собі, з одного боку, багаті виражальні можливості, а з іншого — хороші обчислювальні властивості, такі як і відносно невисока обчислювальна складність основних логічних проблем, що робить можливим їх застосування на практиці. Таким чином, описові логіки являють собою компроміс між виражальністю і розв'язністю. Описову логіку можна розглядати як розв'язні фрагменти логіки предикатів, синтаксично ж вони близькі до модальних логік. (uk) |
| rdfs:label | Lògica de descripció (ca) Beschreibungslogik (de) Lógica de descripción (es) Deskribapen logika (eu) Description logic (en) Logique de description (fr) Logica descrittiva (it) Lógica de descrição (pt) Дескрипционная логика (ru) 描述逻辑 (zh) Описова логіка (uk) |
| owl:sameAs | freebase:Description logic yago-res:Description logic wikidata:Description logic dbpedia-ca:Description logic dbpedia-da:Description logic dbpedia-de:Description logic dbpedia-es:Description logic dbpedia-eu:Description logic dbpedia-fa:Description logic dbpedia-fr:Description logic dbpedia-it:Description logic dbpedia-pt:Description logic dbpedia-ru:Description logic dbpedia-uk:Description logic dbpedia-vi:Description logic dbpedia-zh:Description logic https://global.dbpedia.org/id/3b9f4 |
| prov:wasDerivedFrom | wikipedia-en:Description_logic?oldid=1095509343&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Description_logic |
| is dbo:wikiPageDisambiguates of | dbr:DL |
| is dbo:wikiPageRedirects of | dbr:Description_Logic dbr:Description_Logics dbr:SHOIN dbr:Concept_assertion dbr:Description_logics |
| is dbo:wikiPageWikiLink of | dbr:Amit_Sheth dbr:Modal_logic dbr:Deborah_McGuinness dbr:Description_Logic dbr:Ulrike_Sattler dbr:EL++ dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(D–H) dbr:Inference dbr:Infinite-valued_logic dbr:Intension dbr:Ontology_engineering dbr:SNOMED_CT dbr:Semantic_reasoner dbr:Glossary_of_artificial_intelligence dbr:Unique_name_assumption dbr:Web_Ontology_Language dbr:Domain_model dbr:DL dbr:Two-variable_logic dbr:Rough_set dbr:Formal_concept_analysis dbr:Frame_(artificial_intelligence) dbr:Knowledge-based_systems dbr:ALC dbr:Hybrid_logic dbr:Jens_Lehmann_(scientist) dbr:Artificial_intelligence dbr:Abox dbr:Symbolic_artificial_intelligence dbr:Top_type dbr:Class_(knowledge_representation) dbr:Guarded_logic dbr:Ian_Horrocks dbr:Metaclass_(Semantic_Web) dbr:Ontology_language dbr:Semantics dbr:F-logic dbr:Semantic_Web_Stack dbr:Semantic_Web dbr:Finite-valued_logic dbr:Semantic_heterogeneity dbr:Outline_of_artificial_intelligence dbr:Outline_of_logic dbr:Outline_of_philosophy dbr:Vivification dbr:Description_Logics dbr:SHOIN dbr:Concept_assertion dbr:Description_logics |
| is foaf:primaryTopic of | wikipedia-en:Description_logic |