Communications of the ACM
A formal view integration method
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
A comparative analysis of methodologies for database schema integration
ACM Computing Surveys (CSUR)
Terminological reasoning is inherently intractable (research note)
Artificial Intelligence
Reasoning and revision in hybrid representation systems
Reasoning and revision in hybrid representation systems
Hierarchical knowledge bases and efficient disjunctive reasoning
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Subsumption in KL-ONE is undecidable
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Attributive concept descriptions with complements
Artificial Intelligence
Handbook of theoretical computer science (vol. B)
KRIS: Knowledge Representation and Inference System
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Inside the LOOM description classifier
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
On the state complexity of intersection of regular languages
ACM SIGACT News
The complexity of existential quantification in concept languages
Artificial Intelligence
Handbook of logic in artificial intelligence and logic programming
On the relationship between description logic and predicate logic queries
CIKM '94 Proceedings of the third international conference on Information and knowledge management
The Learnability of Description Logics with Equality Constraints
Machine Learning - Special issue on computational learning theory, COLT'92
Boosting the correspondence between description logics and propositional dynamic logics
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Building a large-scale knowledge base for machine translation
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Implicit language equations: existence and uniqueness of solutions
Theoretical Computer Science
Machine Learning - Special issue on COLT '94
The complexity of concept languages
Information and Computation
Rewriting queries using views in description logics
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Usability issues in knowledge representation systems
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Unification of concept terms in description logics
Journal of Symbolic Computation
Automata, Languages, and Machines
Automata, Languages, and Machines
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
System-Guided View Integration for Object-Oriented Databases
IEEE Transactions on Knowledge and Data Engineering
An Industrial Strength Description Logics-Based Configurator Platform
IEEE Intelligent Systems
Matching in Description Logics: Preliminary Results
ICCS '98 Proceedings of the 6th International Conference on Conceptual Structures: Theory, Tools and Applications
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
Information Integration: Conceptual Modeling and Reasoning Support
COOPIS '98 Proceedings of the 3rd IFCIS International Conference on Cooperative Information Systems
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Tableau Algorithms for Description Logics
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Concept Language Extended with Different Kinds of Transitive Roles
KI '96 Proceedings of the 20th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
KI '98 Proceedings of the 22nd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Hybrid Inferences in KL-ONE-Based Knowledge Representation Systems
GWAI '90 Proceedings of the 14th German Workshop on Artificial Intelligence
The Complexity of Set Constraints
CSL '93 Selected Papers from the 7th Workshop on Computer Science Logic
A Terminological Knowledge Representation System with Complete Inference Algorithms
PDK '91 Proceedings of the International Workshop on Processing Declarative Knowledge
Two-variable logic with counting is decidable
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
A Schema Analysis and Reconciliation Tool Environment for Heterogeneous Databases
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Computing Least Common Subsumers in Description Logics with Existential Restrictions
Computing Least Common Subsumers in Description Logics with Existential Restrictions
Explaining reasoning in description logics
Explaining reasoning in description logics
Conceptual modelling for configuration: A description logic-based approach
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
A description logic-based configurator on the web
ACM SIGART Bulletin
Lower bounds for natural proof systems
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
A semantics and complete algorithm for subsumption in the classic description logic
Journal of Artificial Intelligence Research
Reasoning in expressive description logics with fixpoints based on automata on infinite trees
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Computing least common subsumers in description logics with existential restrictions
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Explaining subsumption in description logics
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
A scheme for integrating concrete domains into concept languages
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
A correspondence theory for terminological logics: preliminary report
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Matching under side conditions in description logics
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Computing least common subsumers in ALEN
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Description logic in practice: a CLASSIC application
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
The description logic handbook
Similarity-Based Information Retrieval and Its Role within Spatial Data Infrastructures
GIScience '08 Proceedings of the 5th international conference on Geographic Information Science
A formal model for Web service composition
Proceedings of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering
Optimizing Causal Link Based Web Service Composition
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Towards a Scalable Query Rewriting Algorithm in Presence of Value Constraints
Journal on Data Semantics XII
Unification in the Description Logic $\mathcal{EL}$
RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications
Making the difference in semantic web service composition
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Part-whole representation and reasoning in formal biomedical ontologies
Artificial Intelligence in Medicine
Optimizing QoS-Aware Semantic Web Service Composition
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Matching in hybrid terminologies
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Ideal downward refinement in the EL description logic
ILP'09 Proceedings of the 19th international conference on Inductive logic programming
SAT encoding of unification in EL
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Decidability of unification in EL without top constructor
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
OWL: a description logic based ontology language
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Description logics in ontology applications
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
A formal model for semantic web service composition
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Applications of description logics: state of the art and research challenges
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
WG'04 Proceedings of the 30th international conference on Graph-Theoretic Concepts in Computer Science
Cooperative service composition
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Concept-Based semantic difference in expressive description logics
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Satisfying End User Constraints in Service Composition by Applying Stochastic Search Methods
International Journal of Web Services Research
Semantic content-based recommendation of software services using context
ACM Transactions on the Web (TWEB)
Hi-index | 0.00 |