Results 271 to 280 of about 1,076,775 (291)

Description Logic

2014
openaire   +1 more source

Ontology mapping using description logic and bridging axioms

Computers in Industry, 2013
Sri Krishna Kumar
exaly  

Description Logics

2000
openaire   +1 more source

Part III: The Pathology of Tumors

Ca-A Cancer Journal for Clinicians, 1963
exaly  

A description logic approach for representing engineering design standards

Engineering With Computers, 1993
James H Garrett
exaly  

Description Logics

2011
openaire   +1 more source

Reasoning with part–part relations in a description logic

Knowledge-Based Systems, 2011
Dragan Gasevic
exaly  

Autoepistemic Description Logics

1998
A non-first-order extension of description logics (DL) which is able to both formalize the nonmonotonic features of knowledge representation (KR) systems, and to provide a computational characterization of reasoning in such a setting, is defined.
openaire   +1 more source

Reasoning within extended fuzzy description logic

Knowledge-Based Systems, 2009
exaly  

MIS: A Multiple-Level Logic Optimization System

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1987
Alberto L Sangiovanni-Vincentelli
exaly