The implication problem for functional and inclusion dependencies
Information and Control
Automata-Theoretic techniques for modal logics of programs
Journal of Computer and System Sciences
On conjunctive queries containing inequalities
Journal of the ACM (JACM)
Handbook of theoretical computer science (vol. B)
On the equivalence of recursive and nonrecursive datalog programs
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Containment and minimization of positive conjunctive queries in OODB's
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The complexity of querying indefinite information: defined relations, recursion and linear order
The complexity of querying indefinite information: defined relations, recursion and linear order
Constraint checking with partial information
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Data model and query evaluation in global information systems
Journal of Intelligent Information Systems - Special issue: networked information discovery and retrieval
Containment of conjunctive queries: beyond relations as sets
ACM Transactions on Database Systems (TODS)
Conjunctive query containment with respect to views and constraints
Information Processing Letters
Deciding containment for queries with complex objects (extended abstract)
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Managing semantic heterogeneity in databases: a theoretical prospective
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
Efficient optimization of a class of relational expressions
ACM Transactions on Database Systems (TODS)
Equivalences Among Relational Expressions with the Union and Difference Operators
Journal of the ACM (JACM)
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Structured Objects: Modeling and Reasoning
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
Information Integration Using Logical Views
ICDT '97 Proceedings of the 6th International Conference on Database Theory
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Conjunctive Query Containment Revisited
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Optimal implementation of conjunctive queries in relational data bases
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
What's in an aggregate: foundations for description logics with tuples and sets
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Query containment for conjunctive queries with regular expressions
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Rewriting of regular expressions and regular path queries
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Navigational plans for data integration
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Minimization of tree pattern queries
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Efficient algorithms for minimizing tree pattern queries
Proceedings of the 2002 ACM SIGMOD international conference on Management of data
The multilingual thesaurus of LAURIN
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Artificial Intelligence Review
Description Logics and Their Relationships with Databases
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Decidability of First-Order Logic Queries over Views
ICDT '99 Proceedings of the 7th International Conference on Database Theory
An Equational Chase for Path-Conjunctive Queries, Constraints, and Views
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Containment for XPath Fragments under DTD Constraints
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
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
Description Logics for Information Integration
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Query Rewriting with Symmetric Constraints
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
A Formal Framework for Reasoning on UML Class Diagrams
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Querying the Semantic Web: A Formal Approach
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
On the Equivalence of XML Patterns
CL '00 Proceedings of the First International Conference on Computational Logic
View-Based Query Answering and Query Containment over Semistructured Data
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Optimization Properties for Classes of Conjunctive Regular Path Queries
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Description logics for semantic query optimization in object-oriented database systems
ACM Transactions on Database Systems (TODS)
Tree pattern query minimization
The VLDB Journal — The International Journal on Very Large Data Bases
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
A system for principled matchmaking in an electronic marketplace
WWW '03 Proceedings of the 12th international conference on World Wide Web
Reasoning in expressive description logics
Handbook of automated reasoning
Handbook of massive data sets
The description logic handbook
Description logics with aggregates and concrete domains
Information Systems
Improving Performance of Heterogeneous Agents
Annals of Mathematics and Artificial Intelligence
Answering queries using views: A KRDB perspective for the semantic Web
ACM Transactions on Internet Technology (TOIT)
ICEC '04 Proceedings of the 6th international conference on Electronic commerce
On the decidability of containment of recursive datalog queries - preliminary report
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Knowledge based approach to semantic composition of teams in an organization
Proceedings of the 2005 ACM symposium on Applied computing
Checking query containment with the CQC method
Data & Knowledge Engineering
Knowledge elicitation for query refinement in a semantic-enabled e-marketplace
ICEC '05 Proceedings of the 7th international conference on Electronic commerce
Data integration: a logic-based perspective
AI Magazine - Special issue on semantic integration
The complexity of finite model reasoning in description logics
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Enterprise modeling and Data Warehousing in TELECOM ITALIA
Information Systems
Reasoning on temporal class diagrams: Undecidability results
Annals of Mathematics and Artificial Intelligence
Reasoning on UML class diagrams
Artificial Intelligence
A semantic-based fully visual application for matchmaking and query refinement in B2C e-marketplaces
ICEC '06 Proceedings of the 8th international conference on Electronic commerce: The new e-commerce: innovations for conquering current barriers, obstacles and limitations to conducting successful business on the internet
Containment of conjunctive object meta-queries
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Query rewriting with symmetric constraints
AI Communications
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Bridging the gap between OWL and relational databases
Proceedings of the 16th international conference on World Wide Web
Hybrid Logics and Ontology Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
A System for Principled Matchmaking in an Electronic Marketplace
International Journal of Electronic Commerce
Evolving objects in temporal information systems
Annals of Mathematics and Artificial Intelligence
Optimizing Terminological Reasoning for Expressive Description Logics
Journal of Automated Reasoning
Conjunctive query containment and answering under description logic constraints
ACM Transactions on Computational Logic (TOCL)
If objects could talk: a novel resource discovery approach for pervasive environments
International Journal of Internet Protocol Technology
Semantic-enhanced Bluetooth discovery protocol for m-commerce applications
International Journal of Web and Grid Services
Semantic based collaborative P2P in ubiquitous computing
Web Intelligence and Agent Systems
Data Complexity of Query Answering in Expressive Description Logics via Tableaux
Journal of Automated Reasoning
Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
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
Query Answering in the Description Logic Horn-$\mathcal{SHIQ}$
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Flexible planning using fuzzy description logics: Theory and application
Applied Soft Computing
Ontologies and databases: myths and challenges
Proceedings of the VLDB Endowment
Aggregate queries over ontologies
Proceedings of the 2nd international workshop on Ontologies and information systems for the semantic web
On Combining Description Logic Ontologies and Nonrecursive Datalog Rules
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Conjunctive Query Answering over an f-ALC Knowledge Base
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Bridging the gap between OWL and relational databases
Web Semantics: Science, Services and Agents on the World Wide Web
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Foundations of Temporal Conceptual Data Models
Conceptual Modeling: Foundations and Applications
Deciding semantic matching of stateless services
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Characterizing data complexity for conjunctive query answering in expressive description logics
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Deciding Query Entailment in Fuzzy Description Logic Knowledge Bases
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Answering regular path queries in expressive description logics: an automata-theoretic approach
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Worst-case optimal conjunctive query answering for an expressive description logic without inverses
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Metalevel information in ontology-based applications
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
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
Conjunctive query answering for the description logic SHIQ
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
EQL-lite: effective first-order query processing in description logics
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Conjunctive query answering for the description logic SHIQ
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Integrity and change in modular ontologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Identification constraints and functional dependencies in description logics
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
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
Reasoning on UML class diagrams
Artificial Intelligence
Logical queries over views: Decidability and expressiveness
ACM Transactions on Computational Logic (TOCL)
Applications and extensions of PTIME description logics with functional constraints
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
An intelligent query processing for distributed ontologies
Journal of Systems and Software
Scalable delivery of stream query result
Proceedings of the VLDB Endowment
Tractable Query Answering over Conceptual Schemata
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Deciding Query Entailment for Fuzzy $\mathcal{SHIN}$ Ontologies
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Electronic Commerce Research and Applications
The complexity of finite model reasoning in description logics
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Enterprise modeling and Data Warehousing in Telecom Italia
Information Systems
Reconciling description logics and rules
Journal of the ACM (JACM)
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
Leveraging the expressivity of grounded conjunctive query languages
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
Querying incomplete data with logic programs: ER strikes back
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Extraction and exploitation of intensional knowledge from heterogeneous information sources: semi-automatic approaches and tools
Querying incomplete data over extended er schemata
Theory and Practice of Logic Programming
Representing and reasoning on fuzzy UML models: A description logic approach
Expert Systems with Applications: An International Journal
A refinement operator based method for semantic grouping of conjunctive query results
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part III
Controlled English ontology-based data access
CNL'09 Proceedings of the 2009 conference on Controlled natural language
A data-centric approach to insider attack detection in database systems
RAID'10 Proceedings of the 13th international conference on Recent advances in intrusion detection
Query answering under expressive entity-relationship schemata
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend!
Journal of Artificial Intelligence Research
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Conjunctive query optimization in OWL2-DL
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part II
Conjunctive query answering in the description logic SH using knots
Journal of Computer and System Sciences
OWL: a description logic based ontology language
ICLP'05 Proceedings of the 21st international conference on Logic Programming
The limits of querying ontologies
ICDT'07 Proceedings of the 11th international conference on Database Theory
Containment of conjunctive queries over conceptual schemata
DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications
Description logics in ontology applications
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Ontological query answering under expressive Entity-Relationship schemata
Information Systems
On representational issues about combinations of classical theories with nonmonotonic rules
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Semantic-Based automated composition of distributed learning objects for personalized e-learning
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
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
Modeling the evolution of objects in temporal information systems
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
PDL with intersection and converse is decidable
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
A formal framework for reasoning on metadata based on CWM
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Categorize by: deductive aggregation of semantic web query results
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
Datalog for security, privacy and trust
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Containment of regular path queries under description logic constraints
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
ACM Transactions on Database Systems (TODS)
An update on query answering with restricted forms of negation
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Data complexity of query answering in description logics
Artificial Intelligence
Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP
Proceedings of the 32nd symposium on Principles of database systems
Temporalizing ontology-based data access
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Taming the infinite chase: query answering under expressive relational constraints
Journal of Artificial Intelligence Research
Hi-index | 0.00 |