Works matching DE "DESCRIPTION logics"

Results: 426

Ontology of active and passive environmental exposure.

Published in:

Semantic Web (1570-0844), 2024, v. 15, n. 5, p. 1733, doi. 10.3233/SW-243546

By:

Vámos, Csilla;
Scheider, Simon;
Sonnenschein, Tabea;
Vermeulen, Roel

Publication type:

Article

The role of ontologies and knowledge in Explainable AI.

Published in:

2024

By:

Confalonieri, Roberto;
Kutz, Oliver;
Calvanese, Diego;
Alonso-Moral, Jose Maria;
Zhou, Shang-Ming

Publication type:

Editorial

Searching for explanations of black-box classifiers in the space of semantic queries.

Published in:

Semantic Web (1570-0844), 2024, v. 15, n. 4, p. 1085, doi. 10.3233/SW-233469

By:

Liartis, Jason;
Dervakos, Edmund;
Menis-Mastromichalakis, Orfeas;
Chortaras, Alexandros;
Stamou, Giorgos

Publication type:

Article

The RDF2vec family of knowledge graph embedding methods.

Published in:

Semantic Web (1570-0844), 2024, v. 15, n. 3, p. 845, doi. 10.3233/SW-233514

By:

Portisch, Jan;
Paulheim, Heiko

Publication type:

Article

Conjunctive query answering over unrestricted OWL 2 ontologies.

Published in:

Semantic Web (1570-0844), 2023, v. 14, n. 6, p. 997, doi. 10.3233/SW-233382

By:

Igne, Federico;
Germano, Stefano;
Horrocks, Ian

Publication type:

Article

A strategy for archives metadata representation on CIDOC-CRM and knowledge discovery.

Published in:

Semantic Web (1570-0844), 2023, v. 14, n. 3, p. 553, doi. 10.3233/SW-222798

By:

Melo, Dora;
Rodrigues, Irene Pimenta;
Varagnolo, Davide

Publication type:

Article

On the relation between keys and link keys for data interlinking.

Published in:

Semantic Web (1570-0844), 2021, v. 12, n. 4, p. 547, doi. 10.3233/SW-200414

By:

Atencia, Manuel;
David, Jérôme;
Euzenat, Jérôme

Publication type:

Article

A systematic survey of temporal requirements of bio-health ontologies.

Published in:

Semantic Web (1570-0844), 2020, v. 11, n. 4, p. 657, doi. 10.3233/SW-190357

By:

Hitzler, Pascal;
Leo, Jared;
Matentzoglu, Nicolas;
Sattler, Uli;
Parsia, Bijan

Publication type:

Article

Ontology-mediated query answering over temporal and inconsistent data.

Published in:

Semantic Web (1570-0844), 2019, v. 10, n. 3, p. 475, doi. 10.3233/SW-180337

By:

Dell'Aglio, Daniele;
Eiter, Thomas;
Heintz, Fredrik;
Le Phuoc, Danh;
Bourgaux, Camille;
Koopmann, Patrick;
Turhan, Anni-Yasmin;
Dell Aglio, Daniele

Publication type:

Article

Web reasoning and rule systems.

Published in:

Semantic Web (1570-0844), 2015, v. 6, n. 5, p. 425, doi. 10.3233/SW-150183

By:

Lembo, Domenico;
Faber, Wolfgang

Publication type:

Article

Probabilistic Description Logics under the distribution semantics.

Published in:

Semantic Web (1570-0844), 2015, v. 6, n. 5, p. 477, doi. 10.3233/SW-140154

By:

Riguzzi, Fabrizio;
Bellodi, Elena;
Lamma, Evelina;
Zese, Riccardo

Publication type:

Article

A closer look at the semantic relationship between Datalog and description logics.

Published in:

Semantic Web (1570-0844), 2015, v. 6, n. 1, p. 63, doi. 10.3233/SW-130126

By:

Krötzsch, Markus;
Rudolph, Sebastian;
Schmitt, Peter H.

Publication type:

Article

Using the relation ontology Metarel for modelling Linked Data as multi-digraphs.

Published in:

Semantic Web (1570-0844), 2014, v. 5, n. 2, p. 115, doi. 10.3233/SW-130096

By:

Blondé, Ward;
Antezana, Erick;
Mironov, Vladimir;
Schulz, Stefan;
Kuiper, Martin;
De Baets, Bernard

Publication type:

Article

Paraconsistent OWL and related logics.

Published in:

Semantic Web (1570-0844), 2013, v. 4, n. 4, p. 395, doi. 10.3233/SW-2012-0066

By:

Maier, Frederick;
Ma, Yue;
Hitzler, Pascal

Publication type:

Article

Model outlines: A visual language for DL concept descriptions.

Published in:

Semantic Web (1570-0844), 2013, v. 4, n. 4, p. 429, doi. 10.3233/SW-2012-0075

By:

do Amaral, Fernando Náufel

Publication type:

Article

Preface.

Published in:

Semantic Web (1570-0844), 2013, v. 4, n. 4, p. 349, doi. 10.3233/SW-130124

By:

Calvanese, Diego;
Lukasiewicz, Thomas

Publication type:

Article

An Ontology for Representation of Fixture Design Knowledge.

Published in:

Computer-Aided Design & Applications, 2008, v. 5, n. 5, p. 601, doi. 10.3722/cadaps.2008.601-611

By:

Ameri, Farhad;
Summers, Joshua D.

Publication type:

Article

Correctness of Fuzzy Inference Systems Based on f -Inclusion.

Published in:

Mathematics (2227-7390), 2025, v. 13, n. 11, p. 1897, doi. 10.3390/math13111897

By:

Díaz-Montarroso, Carolina;
Madrid, Nicolás;
Ramírez-Poussa, Eloísa

Publication type:

Article

SEMANTIC KNOWLEDGE MODELS OF NON-CRISP KNOWLEDGE.

Published in:

International Journal on Information Technologies & Security, 2025, v. 17, n. 2, p. 65

By:

Ivanova, Tatyana;
Petkova, Petya

Publication type:

Article

"EL HECHICERO NO ES GENTE": CONSIDERACIONES PARA PENSAR EL CONJUNTO MULTIÉTNICO XINGUANO (MT, BRASIL) DESDE LA HECHICERÍA Y EL PARENTESCO.

Published in:

Runa: Archivo para las Ciencias del Hombre, 2013, v. 34, n. 2, p. 215

By:

Vanzolini, Marina

Publication type:

Article

Tensor products of function systems revisited.

Published in:

Positivity, 2016, v. 20, n. 1, p. 235, doi. 10.1007/s11117-015-0352-6

By:

Han, Kyung

Publication type:

Article

A uniform approach to three-valued semantics for μ-calculus on abstractions of hybrid automata.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 3, p. 273, doi. 10.1007/s10009-010-0161-y

By:

Bauer, K.;
Gentilini, R.;
Schneider, K.

Publication type:

Article

Mutadelic: mutation analysis using description logic inferencing capabilities.

Published in:

Bioinformatics, 2015, v. 31, n. 23, p. 3742, doi. 10.1093/bioinformatics/btv467

By:

Holford, Matthew E.;
Krauthammer, Michael

Publication type:

Article

OntoQuery: easy-to-use web-based OWL querying.

Published in:

Bioinformatics, 2013, v. 29, n. 22, p. 2955, doi. 10.1093/bioinformatics/btt514

By:

Tudose, Ilinca;
Hastings, Janna;
Muthukrishnan, Venkatesh;
Owen, Gareth;
Turner, Steve;
Dekker, Adriano;
Kale, Namrata;
Ennis, Marcus;
Steinbeck, Christoph

Publication type:

Article

Ontology patterns for tabular representations of biomedical knowledge on neglected tropical diseases.

Published in:

Bioinformatics, 2011, v. 27, n. 13, p. i349, doi. 10.1093/bioinformatics/btr226

By:

Santana, Filipe;
Schober, Daniel;
Medeiros, Zulma;
Freitas, Fred;
Schulz, Stefan

Publication type:

Article

基于本体的圆柱度规范完整性自动检验.

Published in:

Machine Tool & Hydraulics, 2023, v. 51, n. 20, p. 121, doi. 10.3969/j.issn.1001-3881.2023.20.019

By:

黄美发;
李靖扬;
张晗;
唐哲敏;
郑楠;
秦玲

Publication type:

Article

TRENDS IN ROUTE PLANNING WITH THE TOOLS OF INTELLIGENT DISTRIBUTION LOGISTICS.

Published in:

Advanced Logistic Systems: Theory & Practice, 2021, v. 15, n. 1, p. 65, doi. 10.32971/als.2021.006

By:

ANETT SZABÓ, ADÉL;
ILLÉS, BÉLA;
BÁNYAI TÓTH, ÁGOTA

Publication type:

Article

Evaluating Arguments Based on Toulmin’s Scheme.

Published in:

Argumentation, 2005, v. 19, n. 3, p. 347, doi. 10.1007/s10503-005-4421-z

By:

Verheij, Bart

Publication type:

Article

Analyse des empreintes guidée par un modèle de connaissances pour la compréhension des dynamiq.

Published in:

Revue Internationale de Géomatique, 2022, v. 31, n. 1/2, p. 111, doi. 10.3166/rig31.111-133

By:

Laddada, Wissame;
Saux, Éric

Publication type:

Article

The Real Color of Money: Controlling Black Bodies in the NBA.

Published in:

Journal of Sport & Social Issues, 2006, v. 30, n. 2, p. 158, doi. 10.1177/0193723506286725

By:

Leonard, David J.

Publication type:

Article

Incomplete Symbols - Definite Descriptions Revisited.

Published in:

Journal of Philosophical Logic, 2015, v. 44, n. 5, p. 489, doi. 10.1007/s10992-014-9339-1

By:

Gratzl, Norbert

Publication type:

Article

On the Decidability Status of Fuzzy $\mathcal {A}\mathcal {L}\mathcal {C}$ with General Concept Inclusions.

Published in:

Journal of Philosophical Logic, 2015, v. 44, n. 2, p. 117, doi. 10.1007/s10992-014-9329-3

By:

Baader, Franz;
Borgwardt, Stefan;
Peñaloza, Rafael

Publication type:

Article

Truth, Dependence and Supervaluation: Living with the Ghost.

Published in:

Journal of Philosophical Logic, 2013, v. 42, n. 2, p. 221, doi. 10.1007/s10992-011-9219-x

By:

Meadows, Toby

Publication type:

Article

Non-classical Metatheory for Non-classical Logics.

Published in:

Journal of Philosophical Logic, 2013, v. 42, n. 2, p. 335, doi. 10.1007/s10992-012-9223-9

By:

Bacon, Andrew

Publication type:

Article

An Adaptive Logic Based on Jaśkowskiˈs Approach to Paraconsistency.

Published in:

Journal of Philosophical Logic, 2006, v. 35, n. 6, p. 539, doi. 10.1007/s10992-005-9004-9

By:

Meheus*, Joke

Publication type:

Article

Permission from an Input/Output Perspective.

Published in:

Journal of Philosophical Logic, 2003, v. 32, n. 4, p. 391, doi. 10.1023/A:1024806529939

By:

Makinson, David;
van der Torre, Leendert

Publication type:

Article

A Revenge-Immune Solution to the Semantic Paradoxes.

Published in:

Journal of Philosophical Logic, 2003, v. 32, n. 2, p. 139, doi. 10.1023/A:1023027808400

By:

Field, Hartry

Publication type:

Article

DESCRIPTION-NAMES.

Published in:

Journal of Philosophical Logic, 2002, v. 31, n. 4, p. 313, doi. 10.1023/A:1019950905478

By:

Corazza, Eros

Publication type:

Article

Mitigating the Myopia of Dominant Logics: On Differential Performance and Strategic Supply Chain Research.

Published in:

Journal of Business Logistics, 2012, v. 33, n. 3, p. 173, doi. 10.1111/j.2158-1592.2012.01050.x

By:

Fawcett, Stanley E.;
Waller, Matthew A.

Publication type:

Article

The Contradictions of Compensation: Compensatory Education Enactments in Secondary Education.

Published in:

Revista Española de Investigaciones Sociológicas, 2020, n. 169, p. 143, doi. 10.5477/cis/reis.169.143

By:

Rujas Martínez-Novillo, Javier

Publication type:

Article

Detection of Conflicts Between Resource Authorization Rules in Extensible Access Control Markup Language Based on Dynamic Description Logic.

Published in:

Ingénierie des Systèmes d'Information, 2020, v. 25, n. 3, p. 285, doi. 10.18280/isi.250301

By:

Shaoyu Yang;
Cong Tan

Publication type:

Article

Quand les actes agricoles sont au care et au compagnonnage : L'exemple de la biodynamie.

Published in:

Anthropologica, 2020, v. 62, n. 1, p. 93, doi. 10.3138/anth.2018-0103.r1

By:

Foyer, Jean;
Hermesse, Julie;
Hecquet, Corentin

Publication type:

Article

Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 2, p. 368, doi. 10.1017/S1471068424000073

By:

QURESHI, HAYA MAJID;
FABER, WOLFGANG

Publication type:

Article

Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 4th International Joint Conference on Rules and Reasoning (RuleML+RR 2020).

Published in:

2023

By:

KLIEGR, TOMÁŠ;
GUTIERREZ-BASULTO, VICTOR;
SOYLU, AHMET

Publication type:

Editorial

Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies.

Published in:

Theory & Practice of Logic Programming, 2023, v. 23, n. 3, p. 594, doi. 10.1017/S1471068421000569

By:

PASI, GABRIELLA;
PEÑALOZA, RAFAEL

Publication type:

Article

An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases.

Published in:

Theory & Practice of Logic Programming, 2022, v. 22, n. 4, p. 589, doi. 10.1017/S1471068422000163

By:

GIORDANO, LAURA;
THESEIDER DUPRÉ, DANIELE

Publication type:

Article

Probabilistic Semantic Web Reasoning and Learning.

Published in:

2022

By:

POZZATO, GIAN LUCA

Publication type:

Book Review

Reasoning on with Defeasibility in ASP.

Published in:

Theory & Practice of Logic Programming, 2022, v. 22, n. 2, p. 254, doi. 10.1017/S1471068421000132

By:

BOZZATO, LORIS;
EITER, THOMAS;
SERAFINI, LUCIANO

Publication type:

Article

Efficient TBox Reasoning with Value Restrictions using the ${\cal F}{{\cal L}_0}$ wer Reasoner.

Published in:

Theory & Practice of Logic Programming, 2022, v. 22, n. 2, p. 162, doi. 10.1017/S1471068421000466

By:

BAADER, FRANZ;
KOOPMANN, PATRICK;
MICHEL, FRIEDRICH;
TURHAN, ANNI-YASMIN;
ZARRIESS, BENJAMIN

Publication type:

Article

Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT.

Published in:

Theory & Practice of Logic Programming, 2022, v. 22, n. 2, p. 305, doi. 10.1017/S1471068421000168

By:

LIU, FANGFANG;
YOU, JIA-HUAI

Publication type:

Article