Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

description logic · Vinony

EntityQ387196· pop 16· linked from 201 articles

description logic

Sign in to save

family of formal knowledge representation languages

Connections

knowledge representation and reasoning

programming language semantics

Web Ontology Language

three-state logic

closed-world assumption

Ronald J. Brachman

Artificial intelligence

computer science

operating system

International Standard Book Number

programming language

Categories

Artificial intelligence Formal semantics (natural language)Information science Knowledge representation languages Non-classical logic

Sources

wikipedia.externallinksexternallink

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

semantics of logic

Entitydist 0.30

logical language

Entitydist 0.30

logic programming

Entitydist 0.38

reasoning language model

Entitydist 0.39

classical logic

Entitydist 0.40

knowledge representation and reasoning

Entitydist 0.40

computational semantics

Entitydist 0.40

Entitydist 0.42

Entitydist 0.42

lambda calculus

Entitydist 0.43

Entitydist 0.43

logical operator

Entitydist 0.44

What links here201 pages

Deborah L. McGuinness

Web Ontology Language

programming language semantics

semantic network

Semantic MediaWiki

knowledge-based system

outline of artificial intelligence

Metadata Object Description Schema

semantic search

symbolic artificial intelligence

Shape Expressions

intermediate logic

Outline of philosophy