Skip to content

Class: SymbolicReasoning

Reasoning based on the knowledge encoded in a formal language

URI: ai:SymbolicReasoning

 classDiagram
    class SymbolicReasoning
    click SymbolicReasoning href "../SymbolicReasoning/"
      Technique <|-- SymbolicReasoning
        click Technique href "../Technique/"
      KnowledgeTechnique <|-- SymbolicReasoning
        click KnowledgeTechnique href "../KnowledgeTechnique/"

Inheritance

Class Properties

Property Value
Class URI ai:SymbolicReasoning

Slots

Name Cardinality and Range Description Inheritance

In Subsets

Aliases

  • Symbolic Reasoning

Identifier and Mapping Information

Annotations

property value
upstream_iri https://w3id.org/dpv/ai/owl#SymbolicReasoning
dpv_extension_slug ai

Schema Source

Mappings

Mapping Type Mapped Value
self ai:SymbolicReasoning
native ai:SymbolicReasoning
exact dpv_ai:SymbolicReasoning, dpv_ai_owl:SymbolicReasoning

LinkML Source

Direct

name: SymbolicReasoning
annotations:
  upstream_iri:
    tag: upstream_iri
    value: https://w3id.org/dpv/ai/owl#SymbolicReasoning
  dpv_extension_slug:
    tag: dpv_extension_slug
    value: ai
description: Reasoning based on the knowledge encoded in a formal language
in_subset:
- ai_techniques_subset
- ai_subset
from_schema: https://w3id.org/lmodel/dpv/ai
aliases:
- Symbolic Reasoning
exact_mappings:
- dpv_ai:SymbolicReasoning
- dpv_ai_owl:SymbolicReasoning
is_a: KnowledgeTechnique
mixins:
- Technique
class_uri: ai:SymbolicReasoning

Induced

name: SymbolicReasoning
annotations:
  upstream_iri:
    tag: upstream_iri
    value: https://w3id.org/dpv/ai/owl#SymbolicReasoning
  dpv_extension_slug:
    tag: dpv_extension_slug
    value: ai
description: Reasoning based on the knowledge encoded in a formal language
in_subset:
- ai_techniques_subset
- ai_subset
from_schema: https://w3id.org/lmodel/dpv/ai
aliases:
- Symbolic Reasoning
exact_mappings:
- dpv_ai:SymbolicReasoning
- dpv_ai_owl:SymbolicReasoning
is_a: KnowledgeTechnique
mixins:
- Technique
class_uri: ai:SymbolicReasoning