Works matching DE "DESCRIPTION logics"

Results: 405

Efficient Ontology-Mediated Query Answering: Extending DL-lite<sub>R</sub> and Linear ELH.

Published in:

Journal of Artificial Intelligence Research, 2025, v. 82, p. 851, doi. 10.1613/jair.1.16401

By:

Dimartino, Mirko M.;
Wood, Peter T.;
Calì, Andrea;
Poulovassilis, Alexandra

Publication type:

Article

THE NEXT GENERATION OF SIMILARITY MEASURES THAT FULLY EXPLORE THE SEMANTICS IN BIOMEDICAL ONTOLOGIES.

Published in:

Journal of Bioinformatics & Computational Biology, 2013, v. 11, n. 5, p. -1, doi. 10.1142/S0219720013710017

By:

COUTO, FRANCISCO M.;
PINTO, H. SOFIA

Publication type:

Article

An ontology-based modelling and reasoning framework for assembly sequence planning.

Published in:

International Journal of Advanced Manufacturing Technology, 2018, v. 94, n. 9-12, p. 4187, doi. 10.1007/s00170-017-1077-4

By:

Lihong Qiao;
Yifan Qie;
Zuowei Zhu;
Yixin Zhu;
Zaman, Uzair Khaleeq uz;
Anwer, Nabil

Publication type:

Article

Ontological databases with faceted queries.

Published in:

VLDB Journal International Journal on Very Large Data Bases, 2023, v. 32, n. 1, p. 103, doi. 10.1007/s00778-022-00735-3

By:

Pankowski, Tadeusz

Publication type:

Article

Contextual‐based approach to reduce false positives.

Published in:

IET Information Security (Wiley-Blackwell), 2020, v. 14, n. 1, p. 89, doi. 10.1049/iet-ifs.2018.5479

By:

Chergui, Nadjah;
Boustia, Narhimene

Publication type:

Article

FUZZY DESCRIPTION LOGIC AND ITS APPLICATIONS.

Published in:

Reports of Enlarged Sessions of Seminar of I. Vekua Institute of Applied Mathematics, 2018, n. 32, p. 15

By:

Fouad Bishara, Anriette Michel

Publication type:

Article

La Théorie du Concept des Normes ISO à l'Ere Numérique.

Published in:

Digital Scholarship in the Humanities, 2023, v. 38, p. i73, doi. 10.1093/llc/fqad023

By:

Roche, Christophe

Publication type:

Article

图划分支持下的大规模点要素并行缓冲分析方法.

Published in:

Geomatics & Information Science of Wuhan University, 2023, v. 48, n. 6, p. 979, doi. 10.13203/j.whugis20210011

By:

亢晓琛;
刘纪平

Publication type:

Article

ABOUT DESCRIPTION LOGICS AND ONTOLOGY.

Published in:

Scientific Studies & Research. Series Mathematics & Informatics, 2013, v. 23, n. 1, p. 203

By:

VÂRLAN, SIMONA - ELENA;
TOMOZEI, COSMIN - ION

Publication type:

Article

'This untranslatability which is not one'.

Published in:

Paragraph, 2015, v. 38, n. 2, p. 174, doi. 10.3366/para.2015.0156

By:

Lezra, Jacques

Publication type:

Article

AN INTEGRATION OF OBJECT-ORIENTED KNOWLEDGE REPRESENTATION AND RULE-ORIENTED PROGRAMMING AS A BASIS FOR DESIGN AND DIAGNOSIS OF TECHNICAL SYSTEMS.

Published in:

Annals of Operations Research, 1988, v. 16, n. 1-4, p. 13, doi. 10.1007/BF02283733

By:

Beckstein, C.;
Goerz, G.;
Hernández, D.;
Tielemann, M.

Publication type:

Article

PRODUCTION LOGISTICS SIMULATION SUPPORTED BY PROCESS DESCRIPTION LANGUAGES.

Published in:

Management & Production Engineering Review (MPER), 2016, v. 7, n. 1, p. 13, doi. 10.1515/mper-2016-0002

By:

Bohács, Gábor;
Kovács, Gábor;
Rinkács, Angéla

Publication type:

Article

The warehouse. Workers and robots at Amazon.

Published in:

2022

By:

Pasquier, Vincent;
Hung, Kai‐Hsin

Publication type:

Book Review

Using description logics to evaluate the consistency of drug-class membership relations in NDF-RT.

Published in:

Journal of Biomedical Semantics, 2015, v. 6, n. 1, p. 1, doi. 10.1186/s13326-015-0007-3

By:

Winnenburg, Rainer;
Mortensen, Jonathan M.;
Bodenreider, Olivier

Publication type:

Article

The Drosophila anatomy ontology.

Published in:

Journal of Biomedical Semantics, 2013, v. 4, n. 1, p. 1, doi. 10.1186/2041-1480-4-32

By:

Costa, Marta;
Reeve, Simon;
Grumbling, Gary;
Osumi-Sutherland, David

Publication type:

Article

Developing a semantically rich ontology for the biobank-administration domain.

Published in:

Journal of Biomedical Semantics, 2013, v. 4, n. 1, p. 1, doi. 10.1186/2041-1480-4-23

By:

Brochhausen, Mathias;
Fransson, Martin N.;
Kanaskar, Nitin V.;
Eriksson, Mikael;
Merino-Martinez, Roxana;
Hall, Roger A.;
Norlin, Loreana;
Kjellqvist, Sanela;
Hortlund, Maria;
Topaloglu, Umit;
Hogan, William R.;
Litton, Jan-Eric

Publication type:

Article

A description logic framework for commonsense conceptual combination integrating typicality, probabilities and cognitive heuristics.

Published in:

Journal of Experimental & Theoretical Artificial Intelligence, 2020, v. 32, n. 5, p. 769, doi. 10.1080/0952813X.2019.1672799

By:

Lieto, Antonio;
Pozzato, Gian Luca

Publication type:

Article

Guest Editorial: On the Convergence of Enterprise Modelling and Knowledge Graphs.

Published in:

2024

By:

Buchmann, Robert Andrei;
Opdahl, Andreas;
Grossmann, Georg

Publication type:

Editorial

Capability-oriented Architectural Analysis Method Based on Fuzzy Description Logic.

Published in:

2016

By:

Zhang Tingting;
Liu Xiaoming;
Wang Zhixue;
Dong Qingchao

Publication type:

Case Study

THE IMPLICIT REDUCIBILITY IN THE CHAIN SUPER-INTUTIONISTIC LOGICS.

Published in:

ROMAI Journal, 2013, v. 9, n. 2, p. 89

By:

Cucu, Ion;
Raţiu, Mefodie

Publication type:

Article

Locality and Applications to Subsumption Testing in EL and Some of its Extensions.

Published in:

Scientific Annals of Computer Science, 2013, v. 23, n. 2, p. 251, doi. 10.7561/SACS.2013.2.251

By:

SOFRONIE-STOKKERMANS, Viorica

Publication type:

Article

“Reasonable” support to knowledge sharing through schema analysis and articulation.

Published in:

Neural Computing & Applications, 2003, v. 12, n. 3/4, p. 129, doi. 10.1007/s00521-003-0386-8

By:

Compatangelo, Ernesto;
Meisel, Helmut

Publication type:

Article

Computing minimal mappings between lightweight ontologies.

Published in:

International Journal on Digital Libraries, 2012, v. 12, n. 4, p. 179, doi. 10.1007/s00799-012-0083-2

By:

Giunchiglia, Fausto;
Maltese, Vincenzo;
Autayeu, Aliaksandr

Publication type:

Article

Bayesian-knowledge driven ontologies: A framework for fusion of semantic knowledge under uncertainty and incompleteness.

Published in:

PLoS ONE, 2024, v. 19, n. 3, p. 1, doi. 10.1371/journal.pone.0296864

By:

Santos Jr., Eugene;
Jurmain, Jacob;
Ragazzi, Anthony

Publication type:

Article

A NEUTROSOPHIC DESCRIPTION LOGIC.

Published in:

New Mathematics & Natural Computation, 2008, v. 4, n. 3, p. 273, doi. 10.1142/S1793005708001100

By:

WANG, HAIBIN;
ROGATKO, ANDRÉ;
SMARANDACHE, FLORENTIN;
SUNDERRAMAN, RAJSHEKHAR

Publication type:

Article

Ontológiák és tezauruszok csúcsfogalmai.

Published in:

Tudományos és Műszaki Tájékoztatás, 2007, v. 54, n. 10, p. 441

By:

Ungváry, Rudolf

Publication type:

Article

Developing Families of Software Services: A Semantic Web Approach.

Published in:

Journal of Research & Practice in Information Technology, 2011, v. 43, n. 3, p. 179

By:

Bošković, Marko;
Gašević, Dragan;
Mohabbati, Bardia;
Asadi, Mohsen;
Hatala, Marek;
Kaviani, Nima;
Rusk, Jeffrey;
Bagheri, Ebrahim

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

An argumentation framework for description logic ontology reasoning and management.

Published in:

Journal of Intelligent Information Systems, 2013, v. 40, n. 3, p. 375, doi. 10.1007/s10844-012-0230-7

By:

Zhang, Xiaowang;
Lin, Zuoquan

Publication type:

Article

Tractable reasoning with vague knowledge using fuzzy $\mathcal{EL}^{++}$.

Published in:

Journal of Intelligent Information Systems, 2012, v. 39, n. 2, p. 399, doi. 10.1007/s10844-012-0195-6

By:

Mailis, Theofilos;
Stoilos, Giorgos;
Simou, Nikolaos;
Stamou, Giorgos;
Kollias, Stefanos

Publication type:

Article

KBRE: a framework for knowledge-based requirements engineering.

Published in:

Software Quality Journal, 2014, v. 22, n. 1, p. 87, doi. 10.1007/s11219-013-9202-6

By:

Nguyen, Tuong;
Vo, Bao;
Lumpe, Markus;
Grundy, John

Publication type:

Article

Nasîruddîn Tûsî'de Önermeler Mantığı.

Published in:

2018

By:

Özel, Aytekin

Publication type:

Book Review

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

Antecedents of New Venture Creation Decision in Iranian High-Tech Industries: Conceptualizing by a Non-Teleological Approach.

Published in:

Qualitative Report, 2017, v. 22, n. 3, p. 732

By:

Zivdar, Mehdi;
Imanipour, Narges

Publication type:

Article

On the possibility of correct concept learning in description logics.

Published in:

Vietnam Journal of Computer Science (Springer Nature), 2018, v. 5, n. 1, p. 3, doi. 10.1007/s40595-017-0094-4

By:

Divroodi, Ali Rezaei;
Ha, Quang-Thuy;
Nguyen, Linh Anh;
Nguyen, Hung Son

Publication type:

Article

Diagrammatic logic applied to a parameterisation process.

Published in:

Mathematical Structures in Computer Science, 2010, v. 20, n. 4, p. 639, doi. 10.1017/S0960129510000150

By:

Domínguez, César;
Duval, Dominique

Publication type:

Article

Knowledge-Based Recommendation for On-Demand Mapping: Application to Nautical Charts.

Published in:

ISPRS International Journal of Geo-Information, 2021, v. 10, n. 11, p. 786, doi. 10.3390/ijgi10110786

By:

Koteich, Bilal;
Saux, Éric;
Laddada, Wissame

Publication type:

Article

Freeform surface descriptions. Part II: Application benchmark.

Published in:

Advanced Optical Technologies, 2017, v. 6, n. 5, p. 337, doi. 10.1515/aot-2017-0031

By:

Broemel, Anika;
Chang Liu;
Yi Zhong;
Yueqian Zhang;
Gross, Herbert

Publication type:

Article

Freeform surface descriptions. Part I: Mathematical representations.

Published in:

Advanced Optical Technologies, 2017, v. 6, n. 5, p. 327, doi. 10.1515/aot-2017-0030

By:

Broemel, Anika;
Lippmann, Uwe;
Gross, Herbert

Publication type:

Article

An ontology design for validating childhood cancer registry data.

Published in:

Frontiers in Oncology, 2023, p. 1, doi. 10.3389/fonc.2023.1212434

By:

Nicholson, Nicholas;
Giusti, Francesco;
Martos, Carmen

Publication type:

Article

Ontology-Oriented Software Effort Estimation System for E-commerce Applications Based on Extreme Programming and Scrum Methodologies.

Published in:

Computer Journal, 2019, v. 62, n. 11, p. 1605, doi. 10.1093/comjnl/bxy141

By:

Adnan, Muhammad;
Afzal, Muhammad;
Asif, Khadim Hussain

Publication type:

Article

A Fuzzy Extension to the OWL 2 RL Ontology Language.

Published in:

Computer Journal, 2015, v. 58, n. 11, p. 2956, doi. 10.1093/comjnl/bxv028

By:

STOILOS, GIORGOS;
VENETIS, TASSOS;
STAMOU, GIORGOS

Publication type:

Article

OntCAAC: An Ontology-Based Approach to Context-Aware Access Control for Software Services.

Published in:

2015

By:

KAYES, A. S. M.;
JUN HAN;
COLMAN, ALAN

Publication type:

Case Study

Animating Formal Proof at the Surface: The Jape Proof Calculator.

Published in:

Computer Journal, 1999, v. 42, n. 3, p. 177, doi. 10.1093/comjnl/42.3.177

By:

Bornat, Richard;
Sufrin, Bernard

Publication type:

Article

QGMS: A query growth model for personalization and diversification of semantic search based on differential ontology semantics using artificial intelligence.

Published in:

Computational Intelligence, 2024, v. 40, n. 1, p. 1, doi. 10.1111/coin.12514

By:

Deepak, Gerard;
Santhanavijayan, Arumugam

Publication type:

Article

A machine learning approach for optimizing heuristic decision‐making in Web Ontology Language reasoners.

Published in:

Computational Intelligence, 2021, v. 37, n. 1, p. 273, doi. 10.1111/coin.12404

By:

Mehri, Razieh;
Haarslev, Volker;
Chinaei, Hamidreza

Publication type:

Article

Using Patterns to Explain Inferences in.

Published in:

Computational Intelligence, 2007, v. 23, n. 3, p. 373, doi. 10.1111/j.1467-8640.2007.00310.x

By:

Xi Deng;
Haarslev, Volker;
Shiri, Nematollaah

Publication type:

Article

Good News about the Description Theory of Names.

Published in:

Journal of Semantics, 1997, v. 14, n. 4, p. 319, doi. 10.1093/jos/14.4.319

By:

GEURTS, BART

Publication type:

Article

A Formal Method for Service Choreography Verification Based on Description Logic.

Published in:

Computers, Materials & Continua, 2020, v. 62, n. 2, p. 893, doi. 10.32604/cmc.2020.06216

By:

Tingting Zhang;
Yushi Lan;
Minggang Yu;
Changyou Zheng;
Kun Liu

Publication type:

Article

Model Driven Engineering of a Tableau Algorithm for Description Logics.

Published in:

Computer Science & Information Systems, 2009, v. 6, n. 1, p. 23, doi. 10.2298/CSIS0901023K

By:

Krdžavac, Nenad;
Gašević, Dragan;
Devedžić, Vladan

Publication type:

Article