Grant E. Weddell

100 papers A* 12A 7B 6C 1Misc 1Journal 15Unranked 54

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Reliable Reference for a DL Knowledge Base under Data Update. DL Enamul Haque, David Toman, Grant E. Weddell
2025	—	`conf`	Structural Equality Generating Dependencies and Definite Descriptions. DL David Toman, Grant E. Weddell
2024	—	`conf`	Equality Generating Dependencies in Description Logics via Path Agreements. AI (2) Eva Feng, Enrico Franconi, Peter F. Patel-Schneider, David Toman, Grant E. Weddell
2024	—	`conf`	On Mixed Semantics of Path Description Dependencies in FunDL. Description Logics Eva Feng, David Toman, Grant E. Weddell
2023	—	`conf`	Path Description Dependencies in Feature-Based DLs. Description Logics Eva Feng, Alexander Borgida, Enrico Franconi, Peter F. Patel-Schneider, David Toman, Grant E. Weddell
2022	—	`conf`	Accessing Document Data Sources using Referring Expression Types. Description Logics Alexander Borgida, Enrico Franconi, David Toman, Grant E. Weddell
2022	A*	`conf`	First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics. AAAI David Toman, Grant E. Weddell
2022	B	`conf`	Magic Sets in Interpolation-Based Rule Driven Query Optimization. RuleML+RR Eva Feng, David Toman, Grant E. Weddell
2022	Misc	`conf`	Understanding Document Data Sources Using Ontologies with Referring Expressions. AI Alexander Borgida, Enrico Franconi, David Toman, Grant E. Weddell
2021	—	`conf`	FO Rewritability for OMQ using Beth Definability and Interpolation. Description Logics David Toman, Grant E. Weddell
2020	—	`conf`	First Order Rewritability for Ontology Mediated Querying in Horn-DLFD. Description Logics David Toman, Grant E. Weddell
2020	J	`jnl`	Using Feature-Based Description Logics to avoid Duplicate Elimination in Object-Relational Query Languages. Künstliche Intell. David Toman, Grant E. Weddell
2019	—	`conf`	Exhaustive Query Answering via Referring Expressions. Description Logics David Toman, Grant E. Weddell
2019	—	`conf`	Finding ALL Answers to OBDA Queries Using Referring Expressions. Australasian Conference on Artificial Intelligence David Toman, Grant E. Weddell
2019	—	`conf`	FunDL - A Family of Feature-Based Description Logics, with Applications in Querying Structured Data Sources. Description Logic, Theory Combination, and All That Stephanie McIntyre, David Toman, Grant E. Weddell
2019	—	`conf`	Identity Resolution in Ontology Based Data Access to Structured Data Sources. PRICAI (1) David Toman, Grant E. Weddell
2019	A*	`conf`	On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics. AAAI Stephanie McIntyre, Alexander Borgida, David Toman, Grant E. Weddell
2019	—	`conf`	On Special Description Logics for Processes and Plans. Description Logics Alexander Borgida, David Toman, Grant E. Weddell
2019	—	`ed.`	Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019. Description Logics Mantas Simkus, Grant E. Weddell
2018	—	`conf`	Identity Resolution in Conjunctive Querying over DL-Based Knowledge Bases. Description Logics David Toman, Grant E. Weddell
2018	A*	`conf`	On Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA. KR Stephanie McIntyre, Alexander Borgida, David Toman, Grant E. Weddell
2018	B	`conf`	The Utility of the Abstract Relational Model and Attribute Paths in SQL. EKAW Weicong Ma, C. Maria Keet, Wayne Oldford, David Toman, Grant E. Weddell
2017	—	`conf`	An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report). LPAR (Short Presentations) David Toman, Grant E. Weddell
2017	A*	`conf`	Concerning Referring Expressions in Query Answers. IJCAI Alexander Borgida, David Toman, Grant E. Weddell
2017	—	`conf`	On Partial Features in the DLF Dialects of Description Logic with Inverse Features. Description Logics David Toman, Grant E. Weddell
2016	A*	`conf`	Object-Relational Queries over CFDI IJCAI Jason St. Jacques, David Toman, Grant E. Weddell
2016	—	`conf`	Object-Relational Queries over CFDI_nc Knowledge Bases: OBDA for the SQL-Literate (extended abstract). Description Logics Jason St. Jacques, David Toman, Grant E. Weddell
2016	B	`conf`	On Partial Features in the PRICAI David Toman, Grant E. Weddell
2016	A	`conf`	On Referring Expressions in Information Systems Derived from Conceptual Modelling. ER Alexander Borgida, David Toman, Grant E. Weddell
2016	A*	`conf`	On Referring Expressions in Query Answering over First Order Knowledge Bases. KR Alexander Borgida, David Toman, Grant E. Weddell
2016	—	`conf`	Ontology Based Data Access with Referring Expressions for Logics with the Tree Model Property - (Extended Abstract). Australasian Conference on Artificial Intelligence David Toman, Grant E. Weddell
2015	—	`conf`	Absorption for ABoxes and TBoxes with General Value Restrictions. Australasian Conference on Artificial Intelligence Jiewen Wu, Taras Kinash, David Toman, Grant E. Weddell
2015	B	`conf`	On Enumerating Query Plans Using Analytic Tableau. TABLEAUX Alexander K. Hudek, David Toman, Grant E. Weddell
2015	—	`conf`	On the Krom Extension of Australasian Conference on Artificial Intelligence David Toman, Grant E. Weddell
2015	—	`conf`	On the Utility of Description Logics David Toman, Grant E. Weddell
2015	—	`conf`	Singular Referring Expressions in Conjunctive Query Answers: the case for a CFD DL Dialect. Description Logics Alexander Borgida, David Toman, Grant E. Weddell
2014	J	`jnl`	Absorption for ABoxes. J. Autom. Reason. Jiewen Wu, Alexander K. Hudek, David Toman, Grant E. Weddell
2014	B	`conf`	On Adding Inverse Features to the Description Logic PRICAI David Toman, Grant E. Weddell
2014	—	`conf`	Pushing the CFDnc Envelope. Description Logics David Toman, Grant E. Weddell
2014	J	`jnl`	Undecidability of Finite Model Reasoning in DLFD. CoRR David Toman, Grant E. Weddell
2013	—	`conf`	Absorption for ABoxes with Local Universal Restrictions. Description Logics Jiewen Wu, Taras Kinash, David Toman, Grant E. Weddell
2013	—	`conf`	CFDnc: A PTIME Description Logic with Functional Constraints and Disjointness. Description Logics David Toman, Grant E. Weddell
2013	—	`conf`	Conjunctive Query Answering in Australasian Conference on Artificial Intelligence David Toman, Grant E. Weddell
2012	—	`conf`	Absorption for ABoxes. Description Logics Jiewen Wu, Alexander K. Hudek, David Toman, Grant E. Weddell
2012	A*	`conf`	Assertion Absorption in Object Queries over Knowledge Bases. KR Jiewen Wu, Alexander K. Hudek, David Toman, Grant E. Weddell
2012	A	`conf`	Interpreting keyword queries over web knowledge bases. CIKM Jeffrey Pound, Alexander K. Hudek, Ihab F. Ilyas, Grant E. Weddell
2011	A*	`conf`	An Assertion Retrieval Algebra for Object Queries over Knowledge Bases. IJCAI Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu
2011	—	`book`	Fundamentals of Physical Design and Query Compilation David Toman, Grant E. Weddell
2010	—	`conf`	Expressive and flexible access to web-extracted data: a keyword-based structured query language. SIGMOD Conference Jeffrey Pound, Ihab F. Ilyas, Grant E. Weddell
2010	J	`jnl`	Model Checking Using Description Logic. J. Log. Comput. Shoham Ben-David, Richard J. Trefler, Grant E. Weddell
2010	C	`conf`	On Building an Index Advisor for Semantic Web Queries. FOIS Lubomir Stanchev, Grant E. Weddell
2010	—	`conf`	On Finding Query Rewritings under Expressive Constraints. SEBD Alexander Borgida, Jos de Bruijn, Enrico Franconi, Inanç Seylan, Umberto Straccia, David Toman, Grant E. Weddell
2010	—	`ed.`	Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010 Description Logics Volker Haarslev, David Toman, Grant E. Weddell
2010	J	`jnl`	QUICK: Expressive and Flexible Search over Knowledge Bases and Text Collections. Proc. VLDB Endow. Jeffrey Pound, Ihab F. Ilyas, Grant E. Weddell
2010	—	`conf`	Query Algebra and Query Optimization for Concept Assertion Retrieval. Description Logics Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu
2010	J	`jnl`	Saving space and time using index merging. Data Knowl. Eng. Lubomir Stanchev, Grant E. Weddell
2009	A*	`conf`	Applications and Extensions of PTIME Description Logics with Functional Constraints. IJCAI David Toman, Grant E. Weddell
2009	—	`conf`	Concept Projection in Algebras for Computing Certain Answer Descriptions. Description Logics Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu
2009	—	`conf`	Fair Cycle Detection using Description Logic Reasoning. Description Logics Shoham Ben-David, Jeffrey Pound, Richard J. Trefler, Dmitry Tsarkov, Grant E. Weddell
2008	—	`conf`	Identifying Objects Over Time with Description Logics. Description Logics David Toman, Grant E. Weddell
2008	A*	`conf`	Identifying Objects Over Time with Description Logics. KR David Toman, Grant E. Weddell
2008	J	`jnl`	On Keys and Functional Dependencies as First-Class Citizens in Description Logics. J. Autom. Reason. David Toman, Grant E. Weddell
2008	—	`conf`	On Ordering and Indexing Metadata for the Semantic Web. Description Logics Jeffrey Pound, Lubomir Stanchev, David Toman, Grant E. Weddell
2008	J	`jnl`	Two-dimensional bidirectional object layout. ACM Trans. Program. Lang. Syst. Joseph Gil, William W. Pugh, Grant E. Weddell, Yoav Zibin
2007	—	`conf`	Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements. Description Logics Vitaliy L. Khizder, David Toman, Grant E. Weddell
2007	B	`conf`	Bounded Model Checking with Description Logic Reasoning. TABLEAUX Shoham Ben-David, Richard J. Trefler, Grant E. Weddell
2007	—	`conf`	Modal vs. Propositional Reasoning for model checking with Description Logics. Description Logics Shoham Ben-David, Richard J. Trefler, Grant E. Weddell
2007	A	`conf`	On Order Dependencies for the Semantic Web. ER David Toman, Grant E. Weddell
2007	—	`conf`	On Ordering Descriptions in a Description Logic. Description Logics Jeffrey Pound, Lubomir Stanchev, David Toman, Grant E. Weddell
2006	—	`conf`	Binary Absorption in Tableaux-Based Reasoning for Description Logics. Description Logics Alexander K. Hudek, Grant E. Weddell
2006	—	`conf`	Model checking the basic modalities of CTL with Description Logic. Description Logics Shoham Ben-David, Richard J. Trefler, Grant E. Weddell
2006	A	`conf`	On Keys and Functional Dependencies as First-Class Citizens in Description Logics. IJCAR David Toman, Grant E. Weddell
2005	—	`conf`	On Path-functional Dependencies as First-class Citizens in Description Logics. Description Logics David Toman, Grant E. Weddell
2005	J	`jnl`	On reasoning about structural equality in XML: a description logic approach. Theor. Comput. Sci. David Toman, Grant E. Weddell
2005	A*	`conf`	On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics. IJCAI David Toman, Grant E. Weddell
2004	—	`conf`	Attribute Inversion in Description Logic with Path Functional Dependencies . Description Logics David Toman, Grant E. Weddell
2004	—	`conf`	Investigations in tree locking for compiled database applications. CASCON Heng Yu, Grant E. Weddell
2003	—	`conf`	Index Selection for Embedded Control Applications using Description Logics. Description Logics Lubomir Stanchev, Grant E. Weddell
2003	A	`conf`	On Reasoning about Structural Equality in XML: A Description Logic Approach. ICDT David Toman, Grant E. Weddell
2003	J	`jnl`	Reasoning about Uniqueness Constraints in Object Relational Databases. IEEE Trans. Knowl. Data Eng. Vitaliy L. Khizder, Grant E. Weddell
2003	—	`conf`	Rewriting Aggregate Queries using Description Logic. Description Logics David DeHaan, David Toman, Grant E. Weddell
2002	—	`conf`	Fine Grained Information Integration with Description Logics. Description Logics Huizhu Liu, David Toman, Grant E. Weddell
2002	—	`conf`	Index selection for compiled database applications in embedded control programs. CASCON Lubomir Stanchev, Grant E. Weddell
2001	—	`conf`	On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem. Description Logics David Toman, Grant E. Weddell
2001	A	`conf`	On Decidability and Complexity of Description Logics with Uniqueness Constraints. ICDT Vitaliy L. Khizder, David Toman, Grant E. Weddell
2001	—	`conf`	Query Processing in Embedded Control Programs. Databases in Telecommunications David Toman, Grant E. Weddell
2000	—	`conf`	On Decidability and Complexity of Description Logics with Uniqueness Constraints. Description Logics Vitaliy L. Khizder, David Toman, Grant E. Weddell
2000	—	`conf`	Reasoning about Duplicate Elimination with Description Logic. Computational Logic Vitaliy L. Khizder, David Toman, Grant E. Weddell
1997	—	`conf`	Adding Uniqueness Constraints to Description Logics (Preliminary Report). DOOD Alexander Borgida, Grant E. Weddell
1995	J	`jnl`	Implication Problems for Functional Constraints on Databases Supporting Complex Objects. J. Comput. Syst. Sci. Minoru Ito, Grant E. Weddell
1994	J	`jnl`	Implication Problems for Functional Constraints on Databases Supporting Complex Objects. J. Comput. Syst. Sci. Minoru Ito, Grant E. Weddell
1994	J	`jnl`	Reasoning About Equations and Functional Dependencies on Complex Objects. IEEE Trans. Knowl. Data Eng. Martin F. van Bommel, Grant E. Weddell
1993	—	`conf`	A Logic for Rule-Based Query Optimization in Graph-Based Data Models. DOOD Neil Coburn, Grant E. Weddell
1992	J	`jnl`	Reasoning about Functional Dependencies Generalized for Semantic Data Models. ACM Trans. Database Syst. Grant E. Weddell
1991	—	`conf`	Path Constraints for Graph-Based Data Models: Towards a Unified Theory of Typing Constraints, Equations, and Functional Dependencies. DOOD Neil Coburn, Grant E. Weddell
1990	A	`conf`	A Theory of Specialization Constraints for Complex Objects. ICDT Grant E. Weddell, Neil Coburn
1990	A*	`conf`	Two-Directional Record Layout for Multiple Inheritance. PLDI William W. Pugh, Grant E. Weddell
1989	—	`conf`	A Theory of Functional Dependencies for Object-Oriented Data Models. DOOD Grant E. Weddell
1989	J	`jnl`	Selection of Indexes to Memory-Resident Entities for Semantic Data Models. IEEE Trans. Knowl. Data Eng. Grant E. Weddell
1985	—	`—`	Physical design and query compilation for a semantic data model (assuming memory residence). Grant E. Weddell