Keywords: منطق توصیف; Temporal Concept Analysis; Social media; Data mining; Fuzzy Formal Concept Analysis; Description Logic;
مقالات ISI منطق توصیف (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: منطق توصیف; Semantic Web; Ontology; Description logic; Fuzzy logic; Automatic inference and reasoning;
Keywords: منطق توصیف; EER (Enhanced Entity-Relationship) model; Description Logic; Representation; Reasoning
Keywords: منطق توصیف; Description logic; Knowledge base; Conjunctive query; Query inseparability; Games on graphs; Computational complexity;
Keywords: منطق توصیف; Ontology-based data access; Linear temporal logic; Query answering; Rewritability; Description logic
Keywords: منطق توصیف; Intelligent data analysis; Temporal abstraction; Temporal reasoning; Description Logic; Ontology; Semantic sensor web
Keywords: منطق توصیف; ANDI-MS; Analytical Data Interchange format for Mass Spectrometry; AniML; Analytical Information Markup Language; API; Application Programming Interface; ASCII; American Standard Code for Information Interchange; ASTM; American Society for Testing and Mat
Keywords: منطق توصیف; Description logic; Knowledge exchange; DL-Lite; Data exchange; Query inseparability
Keywords: منطق توصیف; Social network; Privacy; Description logic; Positional analysis; Information granule
Keywords: منطق توصیف; Modal logic; Modal definability; Correspondence theory; Description logic; Knowledge base; Conjunctive query
MESCO (MEat Supply Chain Ontology): An ontology for supporting traceability in the meat supply chain
Keywords: منطق توصیف; Meat supply chain; Traceability; Ontology; Web ontology language; Description logic
The description logic SHIQ with a flexible meta-modelling hierarchy
Keywords: منطق توصیف; Description logic; Meta-modelling; Meta-concepts; Well founded sets; Consistency; Decidability;
Temporal query entailment in the Description Logic SHQSHQ
Keywords: منطق توصیف; Description Logic; Ontology-based data access; Linear temporal logic; Complexity; Data complexity
Data preparation for KDD through automatic reasoning based on description logic
Keywords: منطق توصیف; KDD; Data preparation; Data mining; Description logic; Automatic reasoning
Ontology mapping using description logic and bridging axioms
Keywords: منطق توصیف; Ontology mapping; Description logic; Bridging axioms; Virtual enterprise; Interoperability
Supporting negotiation mechanism privacy authority method in cloud computing
Keywords: منطق توصیف; Cloud computing; Description logic; Privacy property; Privacy policy; Privacy preference
An ontology-based approach to automated trust negotiation
Keywords: منطق توصیف; Automated trust negotiation; Ontology; Description logic; Negotiation strategy; Semantically
Improving the interoperability of industrial information systems with description logic-based models—The state of the art
Keywords: منطق توصیف; PLM; Ontologies; OWL; Description logic; Standards
A knowledge-driven approach for process supervision in chemical plants
Keywords: منطق توصیف; Process supervision; Description Logic; Ontology; Alarm management; Tennessee Eastman process.
The Foundational Model of Anatomy in OWL 2 and its use
Keywords: منطق توصیف; Semantic Web; Description Logic; Web Ontology Language; Ontology; Terminology; Health portal; Anatomy
Model-theoretic inseparability and modularity of description logic ontologies
Keywords: منطق توصیف; Description logic; Modularisation; Computational complexity; Reasoning
Self-adaptive semantic web service matching method
Keywords: منطق توصیف; Semantic web service; Description logic; Ontology; Similarity; Service matching
Interactive ontology debugging: Two query strategies for efficient fault localization
Keywords: منطق توصیف; Ontology debugging; Query selection; Model-based diagnosis; Description logic;
Top-k retrieval for ontology mediated access to relational databases
Keywords: منطق توصیف; Description logic; Top-k retrieval; Ontology
Reasoning with part–part relations in a description logic
Keywords: منطق توصیف; Description logic; Manufacturing; Ontology; Part–part relation; Tableau algorithm
SecurOntology: A semantic web access control framework
Keywords: منطق توصیف; Security; Semantic Web; Web access control; Description Logic; Rules
Semantic SenseLab: Implementing the vision of the Semantic Web in neuroscience
Keywords: منطق توصیف; Semantic Web; Neuroscience; Description logic; Ontology mapping; Web Ontology Language; Integration;
Logic-based ontology comparison and module extraction, with an application to DL-Lite
Keywords: منطق توصیف; Description logic; Ontology; Module extraction; Entailment; Computational complexity; Uniform interpolation; Forgetting;
Flexible planning using fuzzy description logics: Theory and application
Keywords: منطق توصیف; Description logic; Fuzzy set; Flexible planning; Propositional dynamic logics; Encoding
SNOMED reaching its adolescence: Ontologists’ and logicians’ health check
Keywords: منطق توصیف; SNOMED CT; Ontologies; Description Logic
Reasoning within extended fuzzy description logic
Keywords: منطق توصیف; Fuzzy; Description logic; Tableau algorithm; Semantic web; Knowledge representation
Inconsistency-tolerant description logic. Part II: A tableau algorithm for CALCCCALCC
Keywords: منطق توصیف; Description logic; Tableau algorithms; Constructive logic; Paraconsistent logic
Syndication on the Web using a description logic approach
Keywords: منطق توصیف; Syndication systems; Publish/subscribe; Description logic; Incremental reasoning; Query answering
Dynamic evolutions based on ontologies
Keywords: منطق توصیف; Semantic web; Ontology; Description logic; Ontology evolution
Variable-strength conditional preferences for ranking objects in ontologies
Keywords: منطق توصیف; Variable-strength conditional preference; Ranking; Ontology; Description logic; Semantic Web; Literature search; Algorithms and complexity
Logical properties of foundational relations in bio-ontologies
Keywords: منطق توصیف; Biomedical ontologies; Formal ontology; Mereology; Axiomatic theories; Description logic
Computing the least common subsumer w.r.t. a background terminology
Keywords: منطق توصیف; Description Logic; Non-standard inferences
Semantic web infrastructure for fungal enzyme biotechnologists
Keywords: منطق توصیف; Semantic Web; Ontology; Fungi; Enzyme; Description logic
Building an ontology of adverse drug reactions for automated signal generation in pharmacovigilance
Keywords: منطق توصیف; Adverse drug reaction reporting systems; Terminology; Automatic data processing; Knowledge representation (computer); Description logic; Ontological modeling
Qualitative reasoning about consistency in geographic information
Keywords: منطق توصیف; Interoperability; Description logic; Region connection calculus; GIS; Information fusion
Implementation of automated signal generation in pharmacovigilance using a knowledge-based approach
Keywords: منطق توصیف; Adverse drug reaction reporting systems; Terminology; Automatic data processing; Knowledge representation (computer); Description logic; Ontological modeling
Making fuzzy description logic more general
Keywords: منطق توصیف; Fuzzy logic; Description logic; Continuous t-norms;
Modeling a description logic vocabulary for cancer research
Keywords: منطق توصیف; Biomedical vocabulary; Ontology development; Cancer research; OWL; Description logic; T-Box model;
The complexity of finite model reasoning in description logics
Keywords: منطق توصیف; 03B70; 03D15; 68Q17; Description logic; Finite satisfiability; Number restrictions;