yusuke1997/dblp-id-title huggingface dataset:
Self-Supervised Sparse Direct Visual Odometry with Half-Geometric Correspondence Network
Low Complexity and High Spectrum Efficiency Hybrid Precoding for Massive MIMO Systems
A Master Station and Terminal Data Exchange Method Based on Symmetric and Asymmetric Algorithms
Comparison of Deep Learning Methods and a Transfer-Learning Semi-Supervised GAN Combined Framework for Pavement Crack Image Identification
Intelligent Judgment Method of Superimposed Label Recognition Technology Based on a Deep Learning Target Detection Algorithm for Detecting Wiring Errors in Current Transformer Tests
Position and Speed Output Constrained Control of Manipulator Based on Barrier Lyapunov Function
Recent Advances in Battery Binders with an Insight of Predictive Commercial Development
Multi-Dimensional Based Intelligent Patrol Path Planning Design
Nature-Inspired Optimization: Optimizing Distance of Emergency Response Wagons en Route to Railway Crossing Accident Location
Design and Implementation of Arduino-Based Intelligent Low Temperature Smoke Warning Bedside Lamp
Two-Layer Optimal Dispatching Strategy of Distribution Network Considering Demand Side Load
Frequency-Domain Analysis of Atmospheric Electric Field and Thunderstorm Forecasting
Analysis of Signal Processing Methods for Formation of Radar Range Profiles
3D Point Cloud and BIM Component Retrieval for Subway Stations via Deep Learning
Multi-Skeleton Joint Behavior Recognition Method Based on a Dual-Stream Network
Ultra-HD Video Streaming in 5G Fixed Wireless Access Bottlenecks
A Study of Forest Swamp Mapping in Hani Wetland Integrating Sentinel-1 and Sentinel-2 Satellite Images
Uncertainty Measurement of Variable Precision Fuzzy Soft Rough Set Model
A Lowpass-Bandpass Diplexer Using Common Lumped-Element Dual-Resonance Resonator
Robot Sliding Mode Control Based on Adaptive Fuzzy Compensation
Intelligent Assembly Scheduling of Large Laser Devices Based on Neural Network
Research on Business Continuity of Electric Power Information System
Classification of Knee Osteoarthritis Severity Using Modified Masks to Preprocess X-ray Images in a Deep Learning Model
Node Importance Based Protection in Power-Grid Optical Backbone Communication Networks
Automatic Localization of Partial Discharges in GIS Based on Digital Twins
SDN-Enabled 3C Resource Integration in Green Internet of Electrical Vehicles
Robust Estimation Method Using Successive Approximation Algorithm to Correct Errors
Design and Measurement Research on Main Bearing Structure of Optical Remote Sensor
Lightweight Application of SM2 Co-Signature Algorithm in the Power IOT
Research and Implementation of High-Speed Data Streams Symbol Synchronization Algorithm Using Training Sequence in IMDD-OOFDM System
Development and Implementation of High Precision Positioning Technology for Electric Vehicle Wireless Charging Coils
Data Augmentation Algorithm Based on Generative Antagonism Networks (GAN) Model for Optical Transmission Networks (OTN)
Low Overhead Adaptive Channel Equalizations for Upstream Burst Reception in 200Gbps Intensity Modulation-Coherent PONs
Compressive Video Sensing Based on Intra-Inter-Frame Constraints and Genetic Algorithm
Research on Spatial Distribution in Power Frequency Magnetic Field Immunity Test
Multi-Path Propagation Prediction of 433MHz Wave in the Ship Environment Based on the Ray-Tracing Model
Efficient Security Detection Strategy Based on K-Means Algorithm in LPWAN
Application of Text Mining Method for Classification of Work Order in Power Grid Production
Study on the Application of Meteorological Data Based on K-Means Method to Highway Wind-Blown Sand Protection
Outlet Recognition Based on Deep Learning and Sensors for Large-Scale Cable Laying
Uncertain Machine Load Forecasting Based on Least Squares Support Vector Machine
Design and Analysis of the Low-PAPR Synchronization Sequences for Unlicensed Band
Research on Transmission Line Image Defogging Method with Improved Dehazenet Algorithm
Intelligent Patrol Route Visualization Design Based on Police Big Data
Improving Wearable Solutions with Nudging Actions in the Chronic Care Management: The SENIOR Project
Equivalent Circuit Simulation of Transverse Nonlinear Vibration of a Single-Axis Bogie
Thermal System Simulation Study of Wide-Load Out-Of-Stock Technical Transformation to Reduce SCR Inlet Flue Gas Temperature of 300MW Subcritical Boiler
Study on Inter-Turn Short Circuit Test for Distribution Reactor
Development and Application of Virtual Simulation Teaching Platform for the Transcritical CO 2 Two-Stage Compression Refrigeration System Based on LabVIEW
Prediction of Alzheimer's Disease Based on Coordinate-Dense Attention Network
Development and Prospect of UAV Inspection and Certification
Chicken and Egg Food Traceability System Based on NFC and QR Code Technology
ReDCN: A Dynamic Bandwidth Enabled Optical Reconfigurable Data Center Network
Fast Display Technology of 3D Cloud Image of Large-Scale Finite Element Model Based on Lightweight Processing
RL-Based Load Balancing for Software-Defined WiFi Networks
Detection Method of Computer Room Personnel Based on Improved DERT
Approach for Cryptography Digital Ecosystem Deployment
Benefit Allocation Model for Distributed Electric Vehicle Using a Shapley-Value Approach
All-Optical Sequence Matching (AOSM) Enabled All-Optical Switching for Optical Data Center Networking
Analysis of Current Production Status and Key Existing Problems of Tower-Shaped Solar Molten Salt Storage Tank
Real-Time Detection and Early Warning System for Public Security Key Places Based on Human Posture Characteristics
Design of Speech Denoising Algorithm Based on Wavelet Threshold Function and PSO
A Generative Learning Architecture Based on CycleGAN for Steganalysis with Unpaired Training Images
Deep Multi-Feature Fusion Neural Network for Text Classification
A Method for Power Amplifier Distortions Compensation at the RX Side for the 5G NR Communication Systems
A 3D Information Hiding Algorithm Based on Point Cloud Increment
High-Performance Fingerprint Localization in Massive MIMO System
Approach to Define the Reliability of Safety-Related Machine Learning Based Functions in Highly Automated Driving
Coping Strategies for Negative Psychological Emotions Among Higher Vocational Colleges EFL Students in the Internet Age: A Cognitive Psychology Perspective
A General Framework for Covering Concepts using Terminologies
Comparing ABox Abduction Based on Minimal Hitting Set and MergeXplain
Binary Absorption in Tableaux-Based Reasoning for Description Logics
Towards More Effective Tableaux Reasoning for CKR
Verifying Properties of a MultiLayer Network for the Recognition of Basic Emotions in a Conditional DL with Typicality (Extended Abstract)
Reasoning in Expressive Gödel Description Logics
Importing Ontologies with Hidden Content
PAGOdA: Pay-as-you-go ABox Reasoning
Extended Caching and Backjumping for Expressive Description Logics
Deciding ALBO with Tableau
A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics
On Decidability and Complexity of Description Logics with Uniqueness Constraints
Explanation in DL-Lite
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010
On the Computation of a Productive Partially Ordered Possibilistic Repair
Index Selection for Embedded Control Applications using Description Logics
Stable Model Semantics for Description Logic Terminologies (Extended Abstract)
On a Notion of Relevance
Coherence, Similarity, and Concept Generalisation
Axiom Pinpointing is Hard
Complete Approximations of Horn DL Ontologies
Incremental Learning of TBoxes from Interpretation Sequences with Methods of Formal Concept Analysis
Revision of DL-Lite Knowledge Bases
OilEd: a Reason-able Ontology Editor for the Semantic Web
Quelo: an Ontology-Driven Query Interface
Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi
Expressing DL-Lite Ontologies with Controlled English
Structural Equality Generating Dependencies and Definite Descriptions
Correcting Access Restrictions to a Consequence
Finite Model Reasoning in Description Logics
Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004
Prospects for and Issues with Mapping the Object-Role Modeling language into DLRifd
CATS Solver: The Rise of Hybrid Abduction Algorithms
Modal vs. Propositional Reasoning for model checking with Description Logics
Optimised Classification for Taxonomic Knowledge Bases
Model Counting and Sampling in First-Order Logic (Abstract of Invited Talk)
Using the TBox to Optimise SPARQL Queries
Interpretation of DL for Natural Language and for Databases
Query Answering via Modal Definability with FaCT++: First Blood
Efficient Computation of General Modules for ALC Ontologies (Extended Abstract)
An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics
Towards Practicable Defeasible Reasoning for ABoxes (Extended Abstract)
Bridging Heterogeneous Representations of Binary Relations: First Results
Heuristics for Applying Cached OBDA Rewritings
ASP-based Axiom Pinpointing for Description Logics
Computing Maximally Satisfiable Terminologies for the Description Logic ALC with Cyclic Definitions
Schema.org as a Description Logic
Bounded Implication for Existential Rules (Extended Abstract)
On the Complexity of Counting in Description Logics
Paraconsistent Resolution for Four-valued Description Logics
Dispute Resolution with OWL DL and Reasoning
Logic-Based Semantics and Query Entailment for RDFS Knowledge Graphs (Extended Abstract)
Adding Weight to DL-Lite
Debugging EL+ Ontologies through Horn MUS Enumeration
Ontology Refinement through Role Assertion Analysis: Example in Pharmacogenomics
Description Logics That Count, and What They Can and Cannot Count (Extended Abstract)
A Multi-Context System Computing Modalities
The Shape of EL Proofs: A Tale of Three Calculi
Defaults in Description Logics: So Simple, So Difficult
Extending Absorption to Nominal Schemas
Collective Classification in Semantic Mapping with a Probabilistic Description Logic
On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL
Reasoning With Weighted Ontologies
Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract)
Optimal Alignment of Temporal Knowledge Bases (Extended Abstract)
DL Requirements from Medicine and Biology
Generating Referring Expressions with OWL2
Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk)
Learning Concepts in C-CLASSIC(delta/epsilon)
Answering Expressive Conjunctive Queries over RDFS Knowledge Bases (Extended Abstract)
Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results
Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards (Extended Abstract)
Practical Conforming Datatype Groups
Extracting Ontologies from Relational Databases
Tableau-based revision in SHIQ
Relaxed Abduction: Robust Information Interpretation for Incomplete Models
Toward an Abstract Wikipedia
Automated Planning with Ontologies under Coherence Update Semantics (Extended Abstract)
Automated Benchmarking of Description Logic Reasoners
'Closer' representation and reasoning
The Concrete Evonne: Visualization Meets Concrete Domain Reasoning (Extended Abstract)
Query Rewriting under EL TBoxes: Efficient Algorithms
On the Role of Subsumption Algorithms in Concept Description Languages
On the Power and Limitations of Examples for Description Logic Concepts (Extended Abstract)
Bagging the DL-Lite Family Further
An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC
A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI
Realization Problem for Formal Concept Analysis
Decidable Verification of Golog Programs: Situation Calculus Meets Description Logic
Approaching OBDA Evolution through Mapping Repair
Using Non-Primitive Concept Definitions for Improving DL-based Knowledge Bases
Improved Algorithms for Module Extraction and Atomic Decomposition
ABox Abduction for Description Logics: The Case of Multiple Observations
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics
E-connections of Description Logics
Incompleteness and inconsistency in information integration
Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis
Exact Query Reformulation over SHOQ DBoxes
Towards an Implementation of the Temporal Description Logic TLALC
Fire - Extending Racer by an Engine for SWRL Rules
Analysing Temporal Reasoning in Description Logics Using Formal Grammars (Extended Abstract)
A Graph-Based Approach for Classifying OWL 2 QL Ontologies
Representation of Partial Order Relations and Procedures in Object-based Representation Systems
Analysing Multiple Versions of an Ontology: A Study of the NCI Thesaurus
Real-world Assessment of Policy-Protected OBDA (Extended Abstract)
Reasoning in OWL 2 EL with Hierarchical Concrete Domains (Extended Abstract)
Optimizing Reasoning with Qualified Number Restrictions in SHQ
Distributed Description Logics Revisited
Pinpointing in the Description Logic EL
Abstracting Temporal ABoxes in TDL-Lite (Extended Abstract)
Singular Referring Expressions in Conjunctive Query Answers: the case for a CFD DL Dialect
Reasoning on Temporal Conceptual Schemas with Dynamic Constraints
The FAME Family: A Family of Reasoning Tools for Forgetting in Expressive Description Logics
Theoretical Characterization of Signal Diagnostic Processing Language
Description Logic Systems
A Description Logic for reasoning with behavioural knowledge
Reasoning with Attributed Description Logics
OWL Reasoning in the Real World: Searching for Godot
Dependencies to Optimize Ontology Based Data Access
Managing Change in Graph-structured Data Using Description Logics
A Single Approach to Decide Chase Termination on Linear Existential Rules
Cost Based Query Ordering over OWL Ontologies
Computing Minimal Projection Modules for Conjunctive Queries
Next Steps for Description Logics of Minimal Knowledge and Negation as Failure
Automated Reasoning in Temporal DL-Lite (Extended Abstract)
Towards Practical Deletion Repair of Inconsistent DL-programs
Minimal Model Reasoning in Description Logics: Don't Try This at Home! (Extended Abstract)
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024
A System for Retrieving Top-k Candidates to Job Positions
Inconsistency Handling in DatalogMTL (Extended Abstract)
Non-Uniform Data Complexity of Query Answering in Description Logics
Fixed Parameter Tractable Reasoning in DLs via Decomposition
Testing Provers on a Grid - Framework Description
Unification in the Description Logic EL
Polynomial encoding of ORM conceptual models in CFDI
AGM Revision in Description Logics Under Fixed-Domain Semantics
Fixpoint Extensions of Temporal Description Logics
On the feasibility of Description Logic knowledge bases with rough concepts and vague instances
A MILP-based Decision Procedure for the (Fuzzy) Description Logic ALCB
Efficient Axiom Pinpointing in EL using SAT Technology
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022
Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification
Modeling Intentional States with Subsystems of ALC
Reintroducing CEL as an OWL 2 EL Reasoner
Mixed-World Reasoning with Existential Rules under Active Domain Semantics (Abstract)
Intensional Semantics and Relationships between Epistemology and Ontology
Learning Ontologies with Epistemic Reasoning: The EL Case (Extended Abstract)
Least Common Subsumption as a connective
Absorption for ABoxes
Restricted Unification in the DL EL
Query Answering in Bayesian Description Logics
Constructive DL Update and Reasoning for Modeling and Executing the Orchestration of Heterogeneous Processes
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021
Repairing ABoxes through Active Integrity Constraints
Updating TBoxes in DL-Lite
Leveraging Knowledge Bases, a decade ago, and now
Tractable Query Answering over Ontologies with Datalog+/-
Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver (Extended Abstract)
Integrating DL and Plan-based Paradigms
OBDA Using RL Reasoners and Repairing
On the SPARQL Direct Semantics Entailment Regime for OWL 2 QL
Conceptual Schema Transformation in Ontology-based Data Access (Extended Abstract)
Statement of Interest, Dagstuhl Workshop
Weak Subsumption in the EL-Description Logic with Refreshing Variables (Extended Abstract)
Optimised Absorption for Expressive Description Logics
Restricted Chase Termination: You Want More Than Fairness (Extended Abstract)
Driving User Interfaces from FaCT
Goal-oriented Query Rewriting for OWL 2 QL
Soundness Preserving Approximation for TBox Reasoning in R
Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics
Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair
Contextual Rational Closure for Defeasible ALC (Extended Abstract)
Development of a server to support the formal semantic web query language OWL-QL
Query Rewriting in Horn-SHIQ
Description Logics in the Calculus of Structures
Concept Forgetting for ALCOI-Ontologies using an Ackermann Approach
Incorporating Default Characteristics and Approximate Matching in Description Logics
Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary Relations
Advancing ELK: Not Only Performance Matters
Data Complexity of Query Answering in Description Logics
Beyond Skolem Chase: A Study of Finite Chase under Standard Chase Variant
Optimisation of Terminological Reasoning
Integrity Constraints for Linked Data
Systems Comparison
Explaining Query Answers under Inconsistency-Tolerant Semantics over Description Logic Knowledge Bases (Extended Abstract)
Well-Founded Semantics for Extended Datalog and Ontological Reasoning
Fusions of Description Logics
A Connection Method for Inferencing over the Description Logic ALC
Wine Agent: Semantic Web Testbed Application
Maybe Eventually? Towards Combining Temporal and Probabilistic Description Logics and Queries
UI-FAME: A Deductive Forgetting Tool for Creating Views of ALC-TBoxes
Rewriting in Description Logics Using Terminologies
Statement of interest
Explaining by Example: Model Exploration for Ontology Comprehension
Representational Extensions of DLs
Reliable Reference for a DL Knowledge Base under Data Update
Resolving Semantic Heterogeneity in Databases with a Terminological Model: Correspondence Refinement
On the Evolution of the Instance Level of DL-Lite Knowledge Bases
Collective Entities and Relations in Concept Languages
Satisfiability in the Triguarded Fragment of First-Order Logic
Detecting Inconsistencies between UML Models Using Description Logic
Rewriting Ontology-Mediated Navigational Queries into Cypher
Answering Conjunctive Queries over DL Aboxes: A Preliminary Report
Kinds of Relations: Some Methodological Principles for Using Description Logics
A Generator for Description Logic Formulas
On Homogeneous Models of Fluted Languages (Extended Abstract)
Spatial Semantics for Concepts
Module-theoretic Properties of Reachability Modules for SRIQ
Expressiveness Revisited
Supporting the Development of Data Wrapping Ontologies (Extended Abstract)
Description Logics-Based Modelling for Precise Information Retrieval
Description logic reasoning using the PTTP approach
Matching with Respect to General Concept Inclusions in the Description Logic EL
Diversity of Reason: Equivalence Relations over Description Logic Explanations
Algebraic Tableau Algorithm for ALCOQ
Incorporating New Languages into DL Systems
Mapping Analysis in Ontology-based Data Access: Algorithms and Complexity (Extended Abstract)
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs
Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments (Extended Abstract)
Representing Sequences in Description Logics Using Suffix Trees
ClickOn_A: An Editor for DL-Lite_A Based Ontology Design
The Revival of Structural Subsumption in Tableau-based Reasoners
Paraconsistent Description Logics Revisited
First-Order Theorem Provers: the Next Generation
Open Problems with Part-Whole Relations
A Translation Scheme for Domain Ontologies Based on Model Ontologies of KBS
Completeness Guaranteed Approximations for OWL-DL Query Answering
A Little Logic Goes a Long Way - Logical Reasoning in Web Data Integration and Ontology Learning
Refining Concepts in Description Logics
Beyond Asserted Axioms: Fine-Grain Justifications for OWL-DL Entailments
Generalized Closed World Reasoning in Description Logics with Extended Domain Closure
An ExpTime Tableau Decision Procedure for ALCQI
The Algebraic Essence of K-Rep
A Proof Theory for DL-Lite
Ontology-Mediated Query Answering over Log-Linear Probabilistic Data (Abstract)
Subsumption-Based Matching: Bringing Semantics to Goals
A Correspondence between Temporal Description Logics
An Empirical Investigation of Difficulty of Subsets of Description Logic Ontologies
From Lexicon To Mammographic Ontology: Experiences and Lessons
Object-Relational Queries over CFDI_nc Knowledge Bases: OBDA for the SQL-Literate (extended abstract)
Local Tableaux for Reasoning in Distributed Description Logics
Reasoning about Explanations for Non-validation in SHACL (Extended Abstract)
Fitting Ontologies and Constraints to Relational Structures (Extended Abstract)
Query Algebra and Query Optimization for Concept Assertion Retrieval
Which Kind of Module Should I Extract?
Inconsistency-Tolerant First-Order Rewritability of DL-Lite with Identification and Denial Assertions
Semantic Explanations of Classifiers through the Ontology-Based Data Management Paradigm (Extended Abstract)
DLs for DLs: Description Logics for Digital Libraries
Actively Learning ELI Queries under DL-Lite Ontologies
A Proposal for a Glass-Box Approach for Subsumption Checking
Extending DL-Lite Sometime in the Future
Acyclic Query Answering under Guarded Disjunctive Existential Rules and Consequences to DLs
Role-depth Bounded Least Common Subsumers by Completion for EL- and prob-EL-TBoxes
The Empirical Robustness of Description Logic Classification
Answering EL Queries in the Presence of Preferences
An Empirical Evaluation of Argumentation in Explaining Inconsistency-Tolerant Query Answering
Data Complexity in Expressive Description Logics With Path Expressions (Extended Abstract)
Exact Learning of EL Ontologies
Handling Computational Difficulties with Reasoning in Terminological Logics
Spatial Reasoning for Image Retrieval
Description Logics and Disjunctive Datalog - The Story so Far
Modular Combination of Reasoners for Ontology Classification
Euclidian Roles in Description Logics
FO-Rewritability of Expressive Ontology-Mediated Queries
Large Knowledge Base Management
Evolving Graph Databases under Description Logic Constraints
Informativeness of Query Answers for Knowledge Bases (Extended Abstract)
Making DL-Lite Planning Practical (Extended Abstract)
Foundations of Ontology Template Language OTTR (Extended Abstract)
Deductive Module Extraction for Expressive Description Logics (Extended Abstract)
Action Hierarchies in Description Logics
The modular structure of an ontology: an empirical study
Are Complete an Expressiv Terminological Systems Feasible?
What's Needed to Make a Description Logic a Good KR Citizen?
Tools for the QuOnto System - Conversion between OWL and DL-Lite with Protégé-OWL Plug-in
ALCRA - ALC with Role Axioms
From Description Logic Provers to Knowledge Representation Systems
Why Not? Explaining Missing Entailments with Evee
Accessing Document Data Sources using Referring Expression Types
How sensor data interpretation could benefit from description logics: A practical case study
Validating Process Refinement with Ontologies
How to Best Nest Regular Path Queries
Knowledge Representation on the Web