DAML+OIL: A Reason-able Web Ontology Language
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
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
A Defeasible Ontology Language
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Querying the Semantic Web: A Formal Approach
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
A software framework for matchmaking based on semantic web technology
WWW '03 Proceedings of the 12th international conference on World Wide Web
Reviewing the design of DAML+OIL: an ontology language for the semantic web
Eighteenth national conference on Artificial intelligence
The description logic handbook
Using DAML+OIL to classify intrusive behaviours
The Knowledge Engineering Review
Ontology-Based Search for Interactive Digital Maps
IEEE Intelligent Systems
Towards Ontology-Driven P2P Grid Resource Discovery
GRID '04 Proceedings of the 5th IEEE/ACM International Workshop on Grid Computing
A tool for automatic UML model consistency checking
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
SKIMA: Semantic Knowledge and Information Management
ENC '05 Proceedings of the Sixth Mexican International Conference on Computer Science
Deriving similarity for Semantic Web using similarity graph
Journal of Intelligent Information Systems
Checking content consistency of integrated web documents
Journal of Computer Science and Technology - Special section on China AVS standard
Decidability of SHIQ with complex role inclusion axioms
Artificial Intelligence
Hybrid Logics and Ontology Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning and change management in modular ontologies
Data & Knowledge Engineering
A Software Framework for Matchmaking Based on Semantic Web Technology
International Journal of Electronic Commerce
A Tableau Decision Procedure for $\mathcal{SHOIQ}$
Journal of Automated Reasoning
Optimizing Terminological Reasoning for Expressive Description Logics
Journal of Automated Reasoning
A Resolution-Based Decision Procedure for $\boldsymbol{\mathcal{SHOIQ}}$
Journal of Automated Reasoning
Data Complexity of Query Answering in Expressive Description Logics via Tableaux
Journal of Automated Reasoning
Description Logic Representation for Requirement Specification
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
Optimized Reasoning in Description Logics Using Hypertableaux
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
The Complexity of Conjunctive Query Answering in Expressive Description Logics
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
yOWL: An ontology-driven knowledge base for yeast biologists
Journal of Biomedical Informatics
Scalable Grounded Conjunctive Query Evaluation over Large and Expressive Knowledge Bases
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
A decision support system for secure information sharing
Proceedings of the 14th ACM symposium on Access control models and technologies
Composing Modular Ontologies with Distributed Description Logics
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
An Efficient Tableau Prover using Global Caching for the Description Logic ALC
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Characterizing data complexity for conjunctive query answering in expressive description logics
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Scalable semantic retrieval through summarization and refinement
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Converting Mikrokosmos frames into description logics
NLPXML '04 Proceeedings of the Workshop on NLP and XML (NLPXML-2004): RDF/RDFS and OWL in Language Technology
Reasoning with very expressive fuzzy description logics
Journal of Artificial Intelligence Research
Conjunctive query answering for the description logic SHIQ
Journal of Artificial Intelligence Research
Conjunctive query answering for the description logic SHIQ
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Fuzzy description logics with general t-norms and datatypes
Fuzzy Sets and Systems
A tableaux decision procedure for SHOIQ
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Decidability of SHIQ with complex role inclusion axioms
Artificial Intelligence
Connectionist Models for Formal Knowledge Adaptation
ICANN '09 Proceedings of the 19th International Conference on Artificial Neural Networks: Part II
Hypertableau reasoning for description logics
Journal of Artificial Intelligence Research
AI Communications - Practical Aspects of Automated Reasoning
A critical evaluation of ontology languages for geographic information retrieval on the Internet
Journal of Visual Languages and Computing
On the scalability of description logic instance retrieval
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
How to decide query containment under constraints using a description logic
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Navigating through logic-based scene models for high-level scene interpretations
ICVS'03 Proceedings of the 3rd international conference on Computer vision systems
ALCPu: an integration of description logic and general rules
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Instance migration in heterogeneous ontology environments
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Transactions on computational collective intelligence I
Three-valued paraconsistent reasoning for semantic web agents
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend!
Journal of Artificial Intelligence Research
Conjunctive query optimization in OWL2-DL
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part II
View-based query answering in Description Logics: Semantics and complexity
Journal of Computer and System Sciences
On the properties of metamodeling in OWL
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
The summary abox: cutting ontologies down to size
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Presburger modal logic is PSPACE-Complete
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
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
Configuring intelligent mediators using ontologies
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Towards a paradoxical description logic for the semantic web
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
A bisimulation-based method of concept learning for knowledge bases in description logics
Proceedings of the Third Symposium on Information and Communication Technology
An Efficient Tableau Prover using Global Caching for the Description Logic ALC
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
Information Sciences: an International Journal
Hi-index | 0.00 |