About: description logic

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: description logic Goto Sponge NotDistinct Permalink

An Entity of Type : wikibase:Item, within Data Space : wikidata.demo.openlinksw.com associated with source document(s)

family of formal knowledge representation languages

Attributes	Values
rdf:type	Item
description	Familie von Sprachen zur Wissensrepräsentation (de) المنطق التوصيفي (أو الوصفي) هو لغة من لغات تمثيل المعرفة، وهو اكثر تعبيراً من المنطق الإقتراحي. (ar) form for logik (da) family of formal knowledge representation languages (en) 正式知識表示的家族 (zh)
rdfs:label	description logic (en) Beschreibungslogik (de) beskrivelseslogik (da) deskribapen logika (eu) leírólogika (hu) logic mô tả (vi) logica descrittiva (it) logique de description (fr) lògica de descripció (ca) lógica de descripción (es) lógica de descrição (pt) priskriba logiko (eo) дескрипционная логика (ru) описова логіка (uk) المنطق التوصيفي (ar) منطق توصیفی (fa) 描述逻辑 (zh) 記述論理 (ja) 설명 논리 (ko)
skos:prefLabel	description logic (en) Beschreibungslogik (de) beskrivelseslogik (da) deskribapen logika (eu) leírólogika (hu) logic mô tả (vi) logica descrittiva (it) logique de description (fr) lògica de descripció (ca) lógica de descripción (es) lógica de descrição (pt) priskriba logiko (eo) дескрипционная логика (ru) описова логіка (uk) المنطق التوصيفي (ar) منطق توصیفی (fa) 描述逻辑 (zh) 記述論理 (ja) 설명 논리 (ko)
name	description logic (en) Beschreibungslogik (de) beskrivelseslogik (da) deskribapen logika (eu) leírólogika (hu) logic mô tả (vi) logica descrittiva (it) logique de description (fr) lògica de descripció (ca) lógica de descripción (es) lógica de descrição (pt) priskriba logiko (eo) дескрипционная логика (ru) описова логіка (uk) المنطق التوصيفي (ar) منطق توصیفی (fa) 描述逻辑 (zh) 記述論理 (ja) 설명 논리 (ko)
Freebase ID	wds:Q387196-6CE3828F-4EDE-477A-BC82-9DEAEAF9CC17
Freebase ID	/m/0191xt
described by source	wds:Q387196-0152dbc3-4724-f0f5-8bad-a92bccbd0938
instance of	wds:Q387196-01FFB017-6B2E-46A8-828F-9528D3952B8E wds:Q387196-0C1509BE-3AF2-488C-BBFD-E5D69BBA0D7D wds:Q387196-3D47814F-686B-45B7-A3DA-902530992165
part of	wds:Q387196-6cbc52eb-4308-70f7-2233-00d625502818
described by source	The Description Logic Handbook: Theory, Implementation, and Applications
instance of	specialty academic discipline field of study
part of	logic
subclass of	wds:Q387196-d4ad7b7d-4a08-1f66-f772-b3ce10f854ab
subclass of	formal language
skos:altLabel	DL (en) DL (de) Description Logics (en) description logics (en) logica de descripcion (es)
OpenAlex ID	wds:Q387196-52E7CC5D-B0CC-4B74-8E16-0E841F611692
Encyclopedia of China (Third Edition) ID	wds:Q387196-074890A9-0E53-41F1-942E-EBA1E9BD04C3
Stack Exchange tag	wds:Q387196-3462b918-419d-1489-28dc-51d9ebea46ac
BabelNet ID	wds:Q387196-81B8E615-8CAD-4FA8-BDC0-38533C1CF0D7
BNCF Thesaurus ID	wds:Q387196-A70508F7-FDA9-4049-A29A-178706CD6DA2
Microsoft Academic ID	wds:Q387196-4C108C46-4AA6-4810-B022-920E11DC3A20
BabelNet ID	http://babelnet.org/rdf/s01076164n
BNCF Thesaurus ID	http://purl.org/bncf/tid/60445
Microsoft Academic ID	https://makg.org/entity/102993220
OpenAlex ID	C102993220
Encyclopedia of China (Third Edition) ID	46836
Stack Exchange tag	https://stackoverflow.com/tags/description-logic
BabelNet ID	01076164n
BNCF Thesaurus ID	60445
Microsoft Academic ID	102993220
is field of work of	Franz Baader Boris Motik
is field of work of	wds:Q64851991-53ccb698-4546-c370-0026-2015b7d586e8

Faceted Search & Find service v1.16.117 as of May 05 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3239 as of May 5 2024, on Linux (x86_64-centos_6-linux-gnu), Single-Server Edition (378 GB total memory, 180 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software