Works matching DE "DESCRIPTION logics"
Results: 403
Fine-Tuning Large Language Models for Ontology Engineering: A Comparative Analysis of GPT-4 and Mistral.
- Published in:
- Applied Sciences (2076-3417), 2025, v. 15, n. 4, p. 2146, doi. 10.3390/app15042146
- By:
- Publication type:
- Article
Proof Theory and Decision Procedures for Deontic STIT Logics.
- Published in:
- Journal of Artificial Intelligence Research, 2024, v. 81, p. 837, doi. 10.1613/jair.1.15710
- By:
- Publication type:
- Article
Embedding Ontologies in the Description Logic ALC by Axis-Aligned Cones.
- Published in:
- Journal of Artificial Intelligence Research, 2023, v. 78, p. 217, doi. 10.1613/jair.1.13939
- By:
- Publication type:
- Article
Mining EL<sup>⊥</sup> Bases with Adaptable Role Depth.
- Published in:
- Journal of Artificial Intelligence Research, 2023, v. 76, p. 883, doi. 10.1613/jair.1.13777
- By:
- Publication type:
- Article
Computing and Explaining Query Answers over Inconsistent DL-Lite Knowledge Bases.
- Published in:
- Journal of Artificial Intelligence Research, 2019, v. 64, p. 563, doi. 10.1613/jair.1.11395
- By:
- Publication type:
- Article
Probabilistic Description Logics for Subjective Uncertainty.
- Published in:
- Journal of Artificial Intelligence Research, 2017, v. 58, p. 1, doi. 10.1613/jair.5222
- By:
- Publication type:
- Article
A Decidable Extension of SROIQ with Complex Role Chains and Unions.
- Published in:
- Journal of Artificial Intelligence Research, 2013, v. 47, p. 809, doi. 10.1613/jair.4022
- By:
- Publication type:
- Article
Description Logic Knowledge and Action Bases.
- Published in:
- Journal of Artificial Intelligence Research, 2013, v. 46, p. 651, doi. 10.1613/jair.3826
- By:
- Publication type:
- Article
Defeasible Inclusions in Low-Complexity DLs.
- Published in:
- Journal of Artificial Intelligence Research, 2011, v. 42, p. 719
- By:
- Publication type:
- Article
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
- Published in:
- Journal of Artificial Intelligence Research, 2010, v. 39, p. 429, doi. 10.1613/jair.3029
- By:
- Publication type:
- Article
The DL-Lite Family and Relations.
- Published in:
- Journal of Artificial Intelligence Research, 2009, v. 36, p. 1, doi. 10.1613/jair.2820
- By:
- Publication type:
- Article
Hypertableau Reasoning for Descriptions Logics.
- Published in:
- Journal of Artificial Intelligence Research, 2009, v. 36, p. 165, doi. 10.1613/jair.2811
- By:
- Publication type:
- Article
The Complexity of Circumscription in Description Logic.
- Published in:
- Journal of Artificial Intelligence Research, 2009, v. 35, p. 717, doi. 10.1613/jair.2763
- By:
- Publication type:
- Article
Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K<sub>m</sub>/ALC-Satisfiability.
- Published in:
- Journal of Artificial Intelligence Research, 2009, v. 35, p. 343, doi. 10.1613/jair.2675
- By:
- Publication type:
- Article
Modular Reuse of Ontologies: Theory and Practice.
- Published in:
- Journal of Artificial Intelligence Research, 2008, v. 31, p. 273, doi. 10.1613/jair.2375
- By:
- Publication type:
- Article
Conjunctive Query Answering for the Description Logic SHIQ.
- Published in:
- 2008
- By:
- Publication type:
- Question & Answer
Reasoning with Very Expressive Fuzzy Description Logics.
- Published in:
- Journal of Artificial Intelligence Research, 2007, v. 30, p. 273, doi. 10.1613/jair.2279
- By:
- Publication type:
- Article
Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach.
- Published in:
- Journal of Artificial Intelligence Research, 2007, v. 29, p. 269, doi. 10.1613/jair.2153
- By:
- Publication type:
- Article
Aftermarkets.
- Published in:
- Journal of Corporate Citizenship, 2010, n. 37, p. 41, doi. 10.9774/GLEAF.4700.2010.sp.00007
- By:
- Publication type:
- Article
(262-275) Proposals on Article 33 and other Articles concerning new combinations, status novi, and nomina nova.
- Published in:
- Taxon, 2010, v. 59, n. 6, p. 1919
- By:
- Publication type:
- Article
Goal-oriented modeling and verification of feature-oriented product lines.
- Published in:
- Software & Systems Modeling, 2016, v. 15, n. 1, p. 257, doi. 10.1007/s10270-014-0402-8
- By:
- Publication type:
- Article
Preferential Semantics for Plausible Subsumption in Possibility Theory.
- Published in:
- Minds & Machines, 2013, v. 23, n. 1, p. 47, doi. 10.1007/s11023-012-9300-4
- By:
- Publication type:
- Article
Book Reviews:Franz Baader et al. (eds.), The Description Logic Handbook, Cambridge: Cambridge University Press, 2003, xvii+555 pp., $130, ISBN 0-52178-176-0.
- Published in:
- 2005
- By:
- Publication type:
- Book Review
On preferring.
- Published in:
- Linguistics & Philosophy, 2022, v. 45, n. 6, p. 1315, doi. 10.1007/s10988-022-09351-4
- By:
- Publication type:
- Article
Transparent quantification into hyperpropositional attitudes de dicto.
- Published in:
- Linguistics & Philosophy, 2022, v. 45, n. 5, p. 1119, doi. 10.1007/s10988-021-09344-9
- By:
- Publication type:
- Article
Explaining Stability and Change: The Rise and Fall of Logics in Pluralistic Fields.
- Published in:
- Organization Studies, 2011, v. 32, n. 2, p. 231, doi. 10.1177/0170840610397475
- By:
- Publication type:
- Article
A description logic framework for advanced accessing and reasoning over normative provisions.
- Published in:
- Artificial Intelligence & Law, 2014, v. 22, n. 3, p. 291, doi. 10.1007/s10506-014-9158-2
- By:
- Publication type:
- Article
An ontology of physical causation as a basis for assessing causation in fact and attributing legal responsibility.
- Published in:
- Artificial Intelligence & Law, 2007, v. 15, n. 3, p. 301, doi. 10.1007/s10506-007-9035-3
- By:
- Publication type:
- Article
Implicit Definability and Positive Logics.
- Published in:
- Algebra & Logic, 2003, v. 42, n. 1, p. 37, doi. 10.1023/A:1022628824337
- By:
- 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:
- Publication type:
- Article
Probabilistic implication bases in FCA and probabilistic bases of GCIs in.
- Published in:
- International Journal of General Systems, 2017, v. 46, n. 5, p. 511, doi. 10.1080/03081079.2017.1349575
- By:
- Publication type:
- Article
Meta-Interpretive LEarning with Reuse.
- Published in:
- Mathematics (2227-7390), 2024, v. 12, n. 6, p. 916, doi. 10.3390/math12060916
- By:
- Publication type:
- Article
Approximate Reasoning for Large-Scale ABox in OWL DL Based on Neural-Symbolic Learning.
- Published in:
- Mathematics (2227-7390), 2023, v. 11, n. 3, p. 495, doi. 10.3390/math11030495
- By:
- Publication type:
- Article
Logics of Statements in Context-Category Independent Basics.
- Published in:
- Mathematics (2227-7390), 2022, v. 10, n. 7, p. 1085, doi. 10.3390/math10071085
- By:
- Publication type:
- Article
Visual Domain Ontology using OWL Lite for Semantic Image Processing.
- Published in:
- TEM Journal, 2019, v. 8, n. 2, p. 372, doi. 10.18421/TEM82-08
- By:
- Publication type:
- Article
Consistent Truth.
- Published in:
- Ratio, 2014, v. 27, n. 3, p. 247, doi. 10.1111/rati.12038
- By:
- Publication type:
- Article
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:
- 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:
- 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:
- Publication type:
- Article
Graphol: A Graphical Language for Ontology Modeling Equivalent to OWL 2.
- Published in:
- Future Internet, 2022, v. 14, n. 3, p. 78, doi. 10.3390/fi14030078
- By:
- Publication type:
- Article
Acquiring Ontology Axioms through Mappings to Data Sources †.
- Published in:
- Future Internet, 2019, v. 11, n. 12, p. 260, doi. 10.3390/fi11120260
- By:
- 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:
- Publication type:
- Article
The Western Sahara never ending Story: A case of organized hypocrisy.
- Published in:
- Africana Studia, 2018, p. 79
- By:
- Publication type:
- Article
A logic for the discovery of deterministic causal regularities.
- Published in:
- Synthese, 2018, v. 195, n. 1, p. 367, doi. 10.1007/s11229-016-1222-x
- By:
- Publication type:
- Article
Gesamtinhaltsverzeichnis 2019.
- Published in:
- 2019
- Publication type:
- Table of Contents
The Connection between Concepts in Formal Concept Analysis and Concepts in a Dual Description Logic.
- Published in:
- International Review on Computers & Software, 2013, v. 8, n. 1, p. 409
- By:
- Publication type:
- Article
Farewell to consumerism: Countervailing logics of growth in consumption.
- Published in:
- Ephemera: Theory & Politics in Organization, 2014, v. 14, n. 4, p. 753
- By:
- 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:
- Publication type:
- Article
Eddy, a formal language for specifying and analyzing data flow specifications for conflicting privacy requirements.
- Published in:
- Requirements Engineering, 2014, v. 19, n. 3, p. 281, doi. 10.1007/s00766-013-0190-7
- By:
- Publication type:
- Article
A Canonical Topological Model for Extensions of K4.
- Published in:
- Studia Logica, 2010, v. 94, n. 3, p. 433, doi. 10.1007/s11225-010-9244-8
- By:
- Publication type:
- Article