Hybrid Unification in the Description Logic EL

doi 10.29007/h59c
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

EasyChair

Related search

The Logic of Unification in Grammar

Linguistics and Philosophy
LinguisticsPhilosophyLanguage
1990English

Challenges in the Description of the Atomic Nucleus: Unification and Interdisciplinarity

European Physical Journal A
High Energy PhysicsNuclear
2016English

Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Duality, Projectivity, and Unification in Łukasiewicz Logic and MV-algebras

Annals of Pure and Applied Logic
Logic
2013English

Extending Logic Programs With Description Logic Expressions for the Semantic Web

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

LTL Over Description Logic Axioms

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2012English

REASONING WITH THE FUZZY DESCRIPTION LOGIC fZSI

2010English

Searching Contexts in Paraconsistent Rough Description Logic

Journal of the Brazilian Computer Society
Computer Science
2015English

Description Logic Reasoning With Decision Diagrams

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy