On taxonomic reasoning in conceptual design
ACM Transactions on Database Systems (TODS)
Taxonomic syntax for first order inference
Journal of the ACM (JACM)
A model of information retrieval based on a terminological logic
SIGIR '93 Proceedings of the 16th annual international ACM SIGIR conference on Research and development in information retrieval
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Representing and Reasoning on Conceptual QueriesOver Image Databases
Journal of Intelligent Information Systems - Special issue on methodologies for intelligent information systems
A model of multimedia information retrieval
Journal of the ACM (JACM)
Mereotopological reasoning about parts and (w)holes in bio-ontologies
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
Information and Computation
Annals of Mathematics and Artificial Intelligence
A survey of temporal extensions of description logics
Annals of Mathematics and Artificial Intelligence
A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics
Annals of Mathematics and Artificial Intelligence
Decidability by Resolution for Propositional Modal Logics
Journal of Automated Reasoning
A Knowledge-Based Approach to Visual Information
Journal of Intelligent Information Systems
Larks: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace
Autonomous Agents and Multi-Agent Systems
Description Logics in Data Management
IEEE Transactions on Knowledge and Data Engineering
Describing Database Objects in a Concept Language Environment
IEEE Transactions on Knowledge and Data Engineering
Consistency Checking in Complex Object Database Schemata with Integrity Constraints
IEEE Transactions on Knowledge and Data Engineering
Part-Whole Reasoning: A Case Study in Medical Ontology Engineering
IEEE Intelligent Systems
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
A Class-Based Logic Language for Ontologies
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
An Order-Sorted Resolution with Implicitly Negative Sorts
Proceedings of the 17th International Conference on Logic Programming
On Reasoning about Structural Equality in XML: A Description Logic Approach
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Practical Reasoning for Expressive Description Logics
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Computational Space Efficiency and Minimal Model Generation for Guarded Formulae
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
On Expressive Description Logics with Composition of Roles in Number Restrictions
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Concept Description Language for Statistical Data Modeling
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
The Complexity of Poor Man's Logic
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
Querying the Semantic Web: A Formal Approach
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Towards Very Large Terminological Knowledge Bases: A Case Study from Medicine
AI '00 Proceedings of the 13th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
A NExpTime-Complete Description Logic Strictly Contained in C2
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
A Road-Map on Complexity for Hybrid Logics
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Issues of Decidability for Description Logics in the Framework of Resolution
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Information Retrieval by Possibilistic Reasoning
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
A Framework for Reasoning on Objects with Geometric Constraints
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
Complexity of Terminological Reasoning Revisited
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Reasoning in expressive description logics
Handbook of automated reasoning
Resolution decision procedures
Handbook of automated reasoning
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Theoretical Computer Science
The description logic handbook
Description logics with aggregates and concrete domains
Information Systems
Representing a robotic domain using temporal description logics
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Combining interval-based temporal reasoning with general TBoxes
Artificial Intelligence
An attributive logic of set descriptions and set operations
ACL '94 Proceedings of the 32nd annual meeting on Association for Computational Linguistics
Inducing Multi-Level Association Rules from Multiple Relations
Machine Learning
From tableaux to automata for description logics
Fundamenta Informaticae
Resolution for label-based formulas in hierarchical representation
New Generation Computing
NEXP TIME-complete description logics with concrete domains
ACM Transactions on Computational Logic (TOCL)
Approximate reasoning and non-omniscient agents
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
Resolution and Constraint Propagation for Semantic Web Services Discovery
Distributed and Parallel Databases
On reasoning about structural equality in XML: a description logic approach
Theoretical Computer Science - Database theory
The complexity of finite model reasoning in description logics
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Description Logics for Shape Analysis
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
An algorithm based on counterfactuals for concept learning in the semantic web
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
Reasoning on UML class diagrams
Artificial Intelligence
A dissimilarity measure for ALC concept descriptions
Proceedings of the 2006 ACM symposium on Applied computing
An optimization for query answering on ALC database
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
New Generation Computing
Decidability of SHIQ with complex role inclusion axioms
Artificial Intelligence
An algorithm based on counterfactuals for concept learning in the Semantic Web
Applied Intelligence
Just the right amount: extracting modules from ontologies
Proceedings of the 16th international conference on World Wide Web
A Fine-Grained Approach to Resolving Unsatisfiable Ontologies
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Optimizing Terminological Reasoning for Expressive Description Logics
Journal of Automated Reasoning
Massive bio-ontology engineering for NLP
HLT '02 Proceedings of the second international conference on Human Language Technology Research
On scene interpretation with description logics
Image and Vision Computing
A revision-based approach to handling inconsistency in description logics
Artificial Intelligence Review
A family of Extended Fuzzy Description Logics
International Journal of Business Intelligence and Data Mining
Building rules on top of ontologies for the semantic web with inductive logic programming
Theory and Practice of Logic Programming
Automata can show PSpace results for description logics
Information and Computation
Combining weights with fuzziness for intelligent semantic web search
Knowledge-Based Systems
Debating over heterogeneous descriptions
Applied Ontology - Formal Ontologies for Communicating Agents
On the Missing Link Between Frequent Pattern Discovery and Concept Formation
Inductive Logic Programming
Axiom Pinpointing in General Tableaux
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Pinpointing in the Description Logic $\mathcal {EL}^+$
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Foundations of Onto-Relational Learning
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
Automata-Based Axiom Pinpointing
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Loopy Propagation in a Probabilistic Description Logic
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Dynamic sub-ontology evolution for traditional Chinese medicine web ontology
Journal of Biomedical Informatics
Flexible planning using fuzzy description logics: Theory and application
Applied Soft Computing
Managing uncertainty and vagueness in description logics for the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
Reasoning with rough description logics: An approximate concepts approach
Information Sciences: an International Journal
Toward Short and Structural $\mathcal{ALC}$-Reasoning Explanations: A Sequent Calculus Approach
SBIA '08 Proceedings of the 19th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Pr$\mathcal{SH}$: A Belief Description Logic
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Analogical Reasoning in Description Logics
Uncertainty Reasoning for the Semantic Web I
Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Fuzzy description logics under Gödel semantics
International Journal of Approximate Reasoning
Intelligent business knowledge management using topic maps
Proceedings of the 2nd Bangalore Annual Compute Conference
Reasoning within intuitionistic fuzzy rough description logics
Information Sciences: an International Journal
Extracting Modules from Ontologies: A Logic-Based Approach
Modular Ontologies
General Concept Inclusions in Fuzzy Description Logics
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Two Orthogonal Biases for Choosing the Intensions of Emerging Concepts in Ontology Refinement
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Survey of modular ontology techniques and their applications in the biomedical domain
Integrated Computer-Aided Engineering - Selected papers from the IEEE Conference on Information Reuse and Integration (IRI), July 13-15, 2008
Finding maximally satisfiable terminologies for the description logic ALC
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Decidable reasoning in terminological knowledge representation systems
Journal of Artificial Intelligence Research
Knowledge integration for description logics
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Journal of Artificial Intelligence Research
Reasoning within fuzzy description logics
Journal of Artificial Intelligence Research
Fusions of description logics and abstract description systems
Journal of Artificial Intelligence Research
Keys, nominals, and concrete domains
Journal of Artificial Intelligence Research
Semantic matchmaking as non-monotonic reasoning: a description logic approach
Journal of Artificial Intelligence Research
Modular reuse of ontologies: theory and practice
Journal of Artificial Intelligence Research
A uniform framework for concept definitions in description logics
Journal of Artificial Intelligence Research
A temporal description logic for reasoning about actions and plans
Journal of Artificial Intelligence Research
Decidable reasoning in terminological knowledge representation systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Reifying concepts in description logics
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Reasoning with concrete domains
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Multi-dimensional description logics
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Efficient retrieval of ontology fragments using an interval labeling scheme
Information Sciences: an International Journal
Terminological cycles in a description logic with existential restrictions
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Decidability of SHIQ with complex role inclusion axioms
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Fuzzy description logics with general t-norms and datatypes
Fuzzy Sets and Systems
Reasoning within expressive fuzzy rough description logics
Fuzzy Sets and Systems
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Ordering heuristics for description logic reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Decidability of SHIQ with complex role inclusion axioms
Artificial Intelligence
Reasoning on UML class diagrams
Artificial Intelligence
A formal framework for description logics with uncertainty
International Journal of Approximate Reasoning
Expressive description logics via SAT: the story so far
Proceedings of the 7th International Workshop on Satisfiability Modulo Theories
A Preferential Tableaux Calculus for Circumscriptive ${\mathcal ALCO}$
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Semantic Interoperability of Heterogeneous Semantic Resources
Electronic Notes in Theoretical Computer Science (ENTCS)
Making fuzzy description logic more general
Fuzzy Sets and Systems
The complexity of finite model reasoning in description logics
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
The DL-lite family and relations
Journal of Artificial Intelligence Research
Actions Over a Constructive Semantics for Description Logics
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
$\boldsymbol {\cal BC\!D\!L}$: Basic Constructive Description Logic
Journal of Automated Reasoning
Expressive fuzzy description logics over lattices
Knowledge-Based Systems
Extending soft sets with description logics
Computers & Mathematics with Applications
Concept-based retrieval of art documents
CIVR'03 Proceedings of the 2nd international conference on Image and video retrieval
PrDLs: a new kind of probabilistic description logics about belief
IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
An overview of hybrid possibilistic reasoning
RSFDGrC'03 Proceedings of the 9th international conference on Rough sets, fuzzy sets, data mining, and granular computing
Non-standard inferences in description logics
Non-standard inferences in description logics
A formally verified prover for the ALC description logic
TPHOLs'07 Proceedings of the 20th international conference on Theorem proving in higher order logics
A fine-grained approach to resolving unsatisfiable ontologies
Journal on data semantics X
Logic-based knowledge representation
Artificial intelligence today
Runtime verification using a temporal description logic
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Generalized modal satisfiability
Journal of Computer and System Sciences
Automata-Based Axiom Pinpointing
Journal of Automated Reasoning
Inductive logic programming in databases: From datalog to $\mathcal{dl}+log}^{\neg\vee}$
Theory and Practice of Logic Programming
Concept languages as query languages
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
A description logic based situation calculus
Annals of Mathematics and Artificial Intelligence
Logic programming languages for databases and the web
A 25-year perspective on logic programming
Approximate instance retrieval on ontologies
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part I
Reasoning and explanation in EL and in expressive description logics
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
The limits on combining recursive horn rules with description logics
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Reasoning with the finitely many-valued Łukasiewicz fuzzy Description Logic SROIQ
Information Sciences: an International Journal
Semantic mapping with a probabilistic description logic
SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
Complementarity in competence management: framework and implementation
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
An efficient XML to OWL converter
Proceedings of the 4th India Software Engineering Conference
On the failure of the finite model property in some Fuzzy Description Logics
Fuzzy Sets and Systems
Combining description logics and Horn rules with uncertainty in ARTIGENCE
Knowledge-Based Systems
Type-2 fuzzy description logic
Frontiers of Computer Science in China
Epistemic querying of OWL knowledge bases
ESWC'11 Proceedings of the 8th extended semantic web conference on The semantic web: research and applications - Volume Part I
Generalized satisfiability for the description logic ALC
TAMC'11 Proceedings of the 8th annual conference on Theory and applications of models of computation
Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics
TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
Foundations of description logics
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Paraconsistent semantics for description logics: a comparison
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
Interpolation theorems for some extended description logics
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part II
Normative systems represented as hybrid knowledge bases
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Semantic analysis and classification method for customer enquiries in telecommunication services
Engineering Applications of Artificial Intelligence
International Journal of Applied Mathematics and Computer Science - Semantic Knowledge Engineering
Probabilistic description logics
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Practice of inductive reasoning on the semantic web: a system for semantic web mining
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
A counterfactual-based learning algorithm for ALC description logic
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
A DDL–Based software architecture model
ACSAC'06 Proceedings of the 11th Asia-Pacific conference on Advances in Computer Systems Architecture
Knowledge base revision in description logics
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Generalized modal satisfiability
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
A formal framework for ontology integration based on a default extension to DDL
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Repairing and reasoning with inconsistent and uncertain ontologies
Advances in Engineering Software
Generalized fuzzy rough description logics
Information Sciences: an International Journal
Representing and reasoning about privacy abstractions
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
Reasoning technique for extended fuzzy ALCQ
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part II
A grc-based approach to social network data protection
RSCTC'06 Proceedings of the 5th international conference on Rough Sets and Current Trends in Computing
Modeling social attitudes on the web
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Towards a fuzzy description logic for the semantic web (preliminary report)
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
FaCT++ description logic reasoner: system description
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Extended fuzzy ALCN and its tableau algorithm
FSKD'05 Proceedings of the Second international conference on Fuzzy Systems and Knowledge Discovery - Volume Part I
Mining the semantic web: a logic-based methodology
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
ILP meets knowledge engineering: a case study
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
Extended fuzzy description logic ALCN
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part IV
Principles of inductive reasoning on the semantic web: a framework for learning in AL-log
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Representation and reasoning on RBAC: a description logic approach
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
A pattern-based approach to conceptual clustering in FOL
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Using sums-of-products for non-standard reasoning
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
From black-box learning objects to glass-box learning objects
ITS'06 Proceedings of the 8th international conference on Intelligent Tutoring Systems
Multidimensional integrated ontologies: a framework for designing semantic data warehouses
Journal on Data Semantics XIII
Towards a paradoxical description logic for the semantic web
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Semantic decision making using ontology-based soft sets
Mathematical and Computer Modelling: An International Journal
LTL over description logic axioms
ACM Transactions on Computational Logic (TOCL)
ACM Transactions on Computational Logic (TOCL)
A Family of Dynamic Description Logics for Representing and Reasoning About Actions
Journal of Automated Reasoning
Debating over heterogeneous descriptions
Applied Ontology - Formal Ontologies for Communicating Agents
Actions Over a Constructive Semantics for Description Logics
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
An argumentation framework for non-monotonic reasoning in description logic
RSKT'12 Proceedings of the 7th international conference on Rough Sets and Knowledge Technology
From Tableaux to Automata for Description Logics
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Reasoning of feature models from derived features
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Modal description logics: modalizing roles
Fundamenta Informaticae
Approximate Inference In Default Logic And Circumscription
Fundamenta Informaticae
Reasoning in description logics: basics, extensions, and relatives
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Building effective ontologies in large enterprise management systems
Scientific and Technical Information Processing
Preferential Semantics for Plausible Subsumption in Possibility Theory
Minds and Machines
Temporalizing ontology-based data access
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Towards simulation-based similarity of end user browsing processes
ICWE'13 Proceedings of the 13th international conference on Web Engineering
BUNDLE: a reasoner for probabilistic ontologies
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Parameter learning for probabilistic ontologies
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Generalized satisfiability for the description logic ALC
Theoretical Computer Science
| Hi-index | 0.01 |