ACM Computing Surveys (CSUR)
The complexity of propositional linear temporal logics in simple cases
Information and Computation
Towards a theory of natural language interfaces to databases
Proceedings of the 8th international conference on Intelligent user interfaces
DAML+OIL: A Reason-able Web Ontology Language
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
Description Logics and Their Relationships with Databases
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Tractable and Decidable Fragments of Conceptual Graphs
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
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
Computing Least Common Subsumers in Expressive Description Logics
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
The Complexity of Poor Man's Logic
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
Querying the Semantic Web: A Formal Approach
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
On the Integration of Recursive ALN-Theories
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 Refinement Operator for Description Logics
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
A PSpace Algorithm for Graded Modal Logic
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
A Term-Based Approach to Project Scheduling
ICCS '01 Proceedings of the 9th International Conference on Conceptual Structures: Broadening the Base
Complexity of Terminological Reasoning Revisited
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Three theses of representation in the semantic web
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
Reasoning in expressive description logics
Handbook of automated reasoning
Theoretical Computer Science
The description logic handbook
NEXP TIME-complete description logics with concrete domains
ACM Transactions on Computational Logic (TOCL)
Checking query containment with the CQC method
Data & Knowledge Engineering
Computational Complexity of Multimodal Logics Based on Rough Sets
Fundamenta Informaticae
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
Fusions of description logics and abstract description systems
Journal of Artificial Intelligence Research
Semantic matchmaking as non-monotonic reasoning: a description logic approach
Journal of Artificial Intelligence Research
Expressiveness of concept expressions in first-order description logics
Artificial Intelligence
Reducing OWL entailment to description logic satisfiability
Web Semantics: Science, Services and Agents on the World Wide Web
A proposal for combining formal concept analysis and description logics for mining relational data
ICFCA'07 Proceedings of the 5th international conference on Formal concept analysis
Polynomial constraints for sets with cardinality bounds
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
Handling spatial relations in logical concept analysis to explore geographical data
ICFCA'08 Proceedings of the 6th international conference on Formal concept analysis
Non-standard inferences in description logics
Non-standard inferences in description logics
Generalized modal satisfiability
Journal of Computer and System Sciences
Generalized satisfiability for the description logic ALC
TAMC'11 Proceedings of the 8th annual conference on Theory and applications of models of computation
OWL: a description logic based ontology language
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Generalized modal satisfiability
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
Description logics in ontology applications
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Tractable feature generation through description logics with value and number restrictions
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
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
Arbitrary relations in formal concept analysis and logical information systems
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Non-destructive integration of form-based views
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
PDL with intersection and converse is decidable
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
The Nondeterministic Information Logic NIL is PSPACE-complete
Fundamenta Informaticae
Computational Complexity of Multimodal Logics \newline Based on Rough Sets
Fundamenta Informaticae
Generalized satisfiability for the description logic ALC
Theoretical Computer Science
| Hi-index | 0.00 |