Search results for "ABox"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
86	Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati 0001	Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	DL-Lite, Description logics, Query answering, Ontology languages
71	Sivaramakrishnan Narayanan, Ümit V. Çatalyürek, Tahsin M. Kurç, Joel H. Saltz	Parallel materialization of large ABoxes.	SAC	2009	DBLP DOI BibTeX RDF	ABox, ontologies, ontology, parallel, materialization, large datasets
69	Jianfeng Du, Yi-Dong Shen	Computing minimum cost diagnoses to repair populated DL-based ontologies.	WWW	2008	DBLP DOI BibTeX RDF	ontologies, diagnosis, description logics, disjunctive datalog
58	Achille Fokoue, Aaron Kershenbaum, Li Ma 0002, Edith Schonberg, Kavitha Srinivas	The Summary Abox: Cutting Ontologies Down to Size.	ISWC	2006	DBLP DOI BibTeX RDF
58	Xiaofeng Wang, Jianbo Ou, Xiaofeng Meng 0001, Yan Chen	Abox Inference for Large Scale OWL-Lite Data.	SKG	2006	DBLP DOI BibTeX RDF
58	Sergio Tessaris, Ian Horrocks 0001	Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics.	LPAR	2002	DBLP DOI BibTeX RDF
58	Volker Haarslev, Ralf Möller 0001, Anni-Yasmin Turhan	Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics.	IJCAR	2001	DBLP DOI BibTeX RDF
52	Rolf Grütter, Thomas Scharrenbach, Bettina Bauer-Messmer	Improving an RCC-Derived Geospatial Approximation by OWL Axioms.	ISWC	2008	DBLP DOI BibTeX RDF	Geospatial approximation, Region Connection Calculus, Web Ontology Language, hypothesis testing, consistency checking
52	Gergely Lukácsy, Péter Szeredi, Balázs Kádár	Prolog Based Description Logic Reasoning.	ICLP	2008	DBLP DOI BibTeX RDF	logic programming, description logic, resolution, large data sets
52	Pakornpong Pothipruk, Guido Governatori	An optimization for query answering on ALC database.	ADC	2006	DBLP BibTeX RDF	query optimization, description logic, web database
34	Georgios Meditskos, Nick Bassiliades	Combining a DL Reasoner and a Rule Engine for Improving Entailment-Based OWL Reasoning.	ISWC	2008	DBLP DOI BibTeX RDF	Hybrid and Homogeneous Systems, Rule-based OWL Reasoning, Entailment Rules, DL Reasoning, Rule Engines
34	Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Li Ma 0002, Edith Schonberg, Kavitha Srinivas, Xingzhi Sun	Scalable Grounded Conjunctive Query Evaluation over Large and Expressive Knowledge Bases.	ISWC	2008	DBLP DOI BibTeX RDF
34	Volker Haarslev, Ralf Möller 0001	RACER System Description.	IJCAR	2001	DBLP DOI BibTeX RDF
34	Ian Horrocks 0001, Ulrike Sattler, Sergio Tessaris, Stephan Tobies	How to Decide Query Containment Under Constraints Using a Description Logic.	LPAR	2000	DBLP DOI BibTeX RDF
24	Simon Bauer, Christophe Merlo, Zina Boussaada	ABox Enrichment Through Semantic Data Recognition in Industrial Internet of Things.	ICSC	2023	DBLP DOI BibTeX RDF
24	Martin Homola, Júlia Pukancová, Janka Boborová, Iveta Balintová	Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver.	JELIA	2023	DBLP DOI BibTeX RDF
24	Stefan Borgwardt, Steffen Breuer, Alisa Kovtunova	Computing ABox Justifications for Query Answers via Datalog Rewriting.	Description Logics	2023	DBLP BibTeX RDF
24	Franz Baader, Francesco Kriegel, Adrian Nuradiansyah	Error-Tolerant Reasoning in EL w.r.t. Optimal ABox Repairs (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
24	Janka Boborová, Iveta Balintová, Júlia Pukancová, Martin Homola	Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
24	Xixi Zhu, Bin Lin, Zhaoyun Ding, Li Yao, Cheng Zhu	Implementing Large-Scale ABox Materialization Using Subgraph Reasoning.	KSEM (1)	2022	DBLP DOI BibTeX RDF
24	Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah	Optimal ABox Repair w.r.t. Static EL TBoxes: From Quantified ABoxes Back to ABoxes.	ESWC	2022	DBLP DOI BibTeX RDF
24	Franz Baader, Francesco Kriegel	Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs.	KR	2022	DBLP BibTeX RDF
24	Martin Homola, Júlia Pukancová, Iveta Balintová, Janka Boborová	Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results.	Description Logics	2022	DBLP BibTeX RDF
24	Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah	Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract).	Description Logics	2022	DBLP BibTeX RDF
24	Andreas Steigmiller, Birte Glimm	Parallelised ABox Reasoning and Query Answering with Expressive Description Logics.	ESWC	2021	DBLP DOI BibTeX RDF
24	Patrick Koopmann	Signature-Based ABox Abduction in ALC is Hard.	SOQE@KR	2021	DBLP BibTeX RDF
24	Sabiha Tahrat, Salima Benbernou, Mourad Ouziri	Temporal ABox Cleaning in TDL-Lite.	Description Logics	2021	DBLP BibTeX RDF
24	Júlia Pukancová, Martin Homola	The AAA ABox Abduction Solver.	Künstliche Intell.	2020	DBLP DOI BibTeX RDF
24	Jan Martin Keil	ABECTO: An ABox Evaluation and Comparison Tool for Ontologies.	ESWC (Satellite Events)	2020	DBLP DOI BibTeX RDF
24	Andreas Steigmiller, Birte Glimm	Parallelised ABox Reasoning and Query Answering with Expressive Description Logics (Extended Abstract).	Description Logics	2020	DBLP BibTeX RDF
24	Yu Gu 0016, Jeff Z. Pan, Gong Cheng 0001, Heiko Paulheim, Giorgos Stoilos	Local ABox Consistency Prediction with Transparent TBoxes Using Gated Graph Neural Networks.	NeSy@IJCAI	2019	DBLP BibTeX RDF
24	Warren Del-Pinto, Renate A. Schmidt	ABox Abduction via Forgetting in ALC.	AAAI	2019	DBLP DOI BibTeX RDF
24	Mariam Obeid, Zeinab Obeid, Asma Moubaiddin, Nadim Obeid	Using Description Logic and Abox Abduction to Capture Medical Diagnosis.	IEA/AIE	2019	DBLP DOI BibTeX RDF
24	Katarína Fabianová, Júlia Pukancová, Martin Homola	Comparing ABox Abduction Based on Minimal Hitting Set and MergeXplain.	Description Logics	2019	DBLP BibTeX RDF
24	Jeff Z. Pan, Carlos Bobed, Isa Guclu, Fernando Bobillo, Martin J. Kollingbaum, Eduardo Mena, Yuan-Fang Li	Predicting Reasoner Performance on ABox Intensive OWL 2 EL Ontologies.	Int. J. Semantic Web Inf. Syst.	2018	DBLP DOI BibTeX RDF
24	Warren Del-Pinto, Renate A. Schmidt	ABox Abduction via Forgetting in ALC (Long Version).	CoRR	2018	DBLP BibTeX RDF
24	Jan Martin Keil	Ontology ABox Comparison.	ESWC (Satellite Events)	2018	DBLP DOI BibTeX RDF
24	Drahomír Mrózek, Júlia Pukancová, Martin Homola	ABox Abduction Solver Exploiting Multiple DL Reasoners.	Description Logics	2018	DBLP BibTeX RDF
24	Júlia Pukancová, Martin Homola	ABox Abduction for Description Logics: The Case of Multiple Observations.	Description Logics	2018	DBLP BibTeX RDF
24	Mayank Kejriwal, Pedro A. Szekely	Scalable Generation of Type Embeddings Using the ABox.	Open J. Semantic Web	2017	DBLP BibTeX RDF
24	Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria	A set-theoretical approach for ABox reasoning services (Extended Version).	CoRR	2017	DBLP BibTeX RDF
24	Kieren Davies, C. Maria Keet, Agnieszka Lawrynowicz	TDDonto2: A Test-Driven Development Plugin for Arbitrary TBox and ABox Axioms.	ESWC (Satellite Events)	2017	DBLP DOI BibTeX RDF
24	Christian Meilicke, Daniel Ruffinelli, Andreas Nolle, Heiko Paulheim, Heiner Stuckenschmidt	Fast ABox Consistency Checking Using Incomplete Reasoning and Caching.	RuleML+RR	2017	DBLP DOI BibTeX RDF
24	Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria	A Set-Theoretic Approach to ABox Reasoning Services.	RuleML+RR	2017	DBLP DOI BibTeX RDF
24	Júlia Pukancová, Martin Homola	Tableau-Based ABox Abduction for the ALCHO Description Logic.	Description Logics	2017	DBLP BibTeX RDF
24	Isa Guclu, Carlos Bobed, Jeff Z. Pan, Martin J. Kollingbaum, Yuan-Fang Li	How Can Reasoner Performance of ABox Intensive Ontologies Be Predicted?	JIST	2016	DBLP DOI BibTeX RDF
24	Júlia Pukancová, Martin Homola	Tableau-Based ABox Abduction for Description Logics: Preliminary Report.	Description Logics	2016	DBLP BibTeX RDF
24	Jianfeng Du, Guilin Qi	Tractable Computation of Representative ABox Repairs in Description Logic Ontologies.	KSEM	2015	DBLP DOI BibTeX RDF
24	Jianfeng Du, Kewen Wang 0001, Yi-Dong Shen	Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies.	AAAI	2015	DBLP DOI BibTeX RDF
24	Guilin Qi, Zhe Wang 0001, Kewen Wang 0001, Xuefeng Fu, Zhiqiang Zhuang	Approximating Model-Based ABox Revision in DL-Lite: Theory and Practice.	AAAI	2015	DBLP DOI BibTeX RDF
24	Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Ian Horrocks 0001	PAGOdA: Pay-as-you-go ABox Reasoning.	Description Logics	2015	DBLP BibTeX RDF
24	Jianfeng Du, Kewen Wang 0001, Yi-Dong Shen	A Tractable Approach to ABox Abduction over Description Logic Ontologies.	AAAI	2014	DBLP DOI BibTeX RDF
24	Liang Chang 0003, Uli Sattler, Tianlong Gu	An ABox Revision Algorithm for the Description Logic EL_bot.	Description Logics	2014	DBLP BibTeX RDF
24	Jia Xu, Ubbo Visser, E. Patrick Shironoshita, Nigel M. John, Mansur R. Kabuka	Extract ABox Modules for Efficient Ontology Querying	CoRR	2013	DBLP BibTeX RDF
24	Giovanni Casini, Thomas Meyer 0002, Ivan José Varzinczak, Kodylan Moodley	Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox.	Description Logics	2013	DBLP BibTeX RDF
24	Alda Canito, Paulo Maio, Nuno Silva 0001	Introducing inference-driven OWL ABox enrichment.	iiWAS	2013	DBLP DOI BibTeX RDF
24	Anahita Nafissi	Applying Markov logics for controlling abox abduction.		2013	RDF
24	Sebastian Wandelt, Ralf Möller 0001	Towards ABox Modularization of semi-expressive Description Logics.	Appl. Ontology	2012	DBLP DOI BibTeX RDF
24	Jianfeng Du, Guilin Qi, Yi-Dong Shen, Jeff Z. Pan	Towards Practical ABox Abduction in Large Description Logic Ontologies.	Int. J. Semantic Web Inf. Syst.	2012	DBLP DOI BibTeX RDF
24	Yanwei Ma, Tianlong Gu, Binbin Xu, Liang Chang 0003	An ABox Abduction Algorithm for the Description Logic ALCI.	Intelligent Information Processing	2012	DBLP DOI BibTeX RDF
24	Ken Halland, Katarina Britz	ABox abduction in ALC using a DL tableau.	SAICSIT	2012	DBLP DOI BibTeX RDF
24	Sibei Gao, Guilin Qi, Haofen Wang	A New Operator for ABox Revision in DL-Lite.	AAAI	2012	DBLP DOI BibTeX RDF
24	Ken Halland, Katarina Britz	Naive ABox abduction in ALC using a DL tableau.	Description Logics	2012	DBLP BibTeX RDF
24	Yuan Ren 0001, Jeff Z. Pan, Kevin Lee	Optimising Parallel ABox Reasoning of EL Ontologies.	Description Logics	2012	DBLP BibTeX RDF
24	Szymon Klarman, Ulle Endriss, Stefan Schlobach	ABox Abduction in the Description Logic ALC.	J. Autom. Reason.	2011	DBLP DOI BibTeX RDF
24	Jianfeng Du, Guilin Qi, Yi-Dong Shen, Jeff Z. Pan	Towards Practical ABox Abduction in Large OWL DL Ontologies.	AAAI	2011	DBLP DOI BibTeX RDF
24	Yuan Ren 0001, Jeff Z. Pan, Kevin Lee	Parallel ABox Reasoning of ${\mathcal{EL}}$ Ontologies.	JIST	2011	DBLP DOI BibTeX RDF
24	Giulia Masotti, Riccardo Rosati 0001, Marco Ruzzi	Practical ABox Cleaning in DL-Lite (progress report).	Description Logics	2011	DBLP BibTeX RDF
24	Evgeny Kharlamov, Dmitriy Zheleznyakov	On Prototypes for Winslett's Semantics of DL-Lite ABox Evolution.	Description Logics	2011	DBLP BibTeX RDF
24	Evgeny Kharlamov, Dmitriy Zheleznyakov	Understanding Inexpressibility of Model-Based ABox Evolution in DL-Lite.	AMW	2011	DBLP BibTeX RDF
24	Linh Anh Nguyen, Andrzej Szalas	Checking Consistency of an ABox w.r.t. Global Assumptions in PDL.	Fundam. Informaticae	2010	DBLP DOI BibTeX RDF
24	Nasim Farsiniamarj, Volker Haarslev	Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic H.	AI Commun.	2010	DBLP DOI BibTeX RDF
24	Yuan Ren 0001, Jeff Z. Pan, Yuting Zhao	Towards Soundness Preserving Approximation for ABox Reasoning of OWL2.	Description Logics	2010	DBLP BibTeX RDF
24	Jean-Paul Calbimonte, Fábio Porto 0001, C. Maria Keet	Functional Dependencies in OWL ABOX.	SBBD	2009	DBLP BibTeX RDF
24	Nicola Fanizzi, Claudia d'Amato, Floriana Esposito	Evidential Nearest-Neighbors Classification for Inductive ABox Reasoning.	URSW	2009	DBLP BibTeX RDF
24	Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher	Putting ABox Updates into Action.	FroCoS	2009	DBLP DOI BibTeX RDF
24	Andriy Nikolov, Victoria S. Uren, Enrico Motta, Anne N. De Roeck	Using the Dempster-Shafer Theory of Evidence to Resolve ABox Inconsistencies.	URSW (LNCS Vol.)	2008	DBLP DOI BibTeX RDF
24	Joshua Bacher, Robert Hoehndorf, Janet Kelso	BOWiki: Ontology-based Semantic Wiki with ABox Reasoning.	SemWiki	2008	DBLP BibTeX RDF
24	Georgios Meditskos, Nick Bassiliades	Rule-based OWL Ontology Reasoning Using Dynamic ABOX Entailments.	ECAI	2008	DBLP DOI BibTeX RDF
24	Andriy Nikolov, Victoria S. Uren, Enrico Motta, Anne N. De Roeck	Using the Dempster-Shafer Theory of Evidence to Resolve ABox Inconsistencies.	URSW	2007	DBLP BibTeX RDF
24	Alessandro Mosca 0001, Matteo Palmonari	Action Based ABox Update: an Example from the Chemical Compound Formulation.	Description Logics	2007	DBLP BibTeX RDF
24	Achille Fokoue, Aaron Kershenbaum, Li Ma 0002	SHIN ABox Reduction.	Description Logics	2006	DBLP BibTeX RDF
24	Evren Sirin, Bijan Parsia	Optimizations for Answering Conjunctive ABox Queries.	Description Logics	2006	DBLP BibTeX RDF
24	Michael Dürig, Thomas Studer	Probabilistic ABox Reasoning: Preliminary Results.	Description Logics	2005	DBLP BibTeX RDF
24	CuiMing Chen, Volker Haarslev, JiaoYue Wang	LAS: Extending Racer by a Large ABox Store.	Description Logics	2005	DBLP BibTeX RDF
24	Sergio Tessaris, Ian Horrocks 0001, Graham Gough	Evaluating a Modular Abox Algorithm.	KR	2002	DBLP BibTeX RDF
24	Volker Haarslev, Ralf Möller 0001	Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles.	KR	2000	DBLP BibTeX RDF
24	Volker Haarslev, Ralf Möller 0001	Optimizing TBox and ABox Reasoning with Pseudo Models.	Description Logics	2000	DBLP BibTeX RDF
24	Volker Haarslev, Ralf Möller 0001	Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems.	TABLEAUX	1999	DBLP DOI BibTeX RDF
24	Volker Haarslev, Ralf Möller 0001	An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics.	Description Logics	1999	DBLP BibTeX RDF
24	Sergio Tessaris, Graham Gough	ABox Reasoning with Transitive Roles and Axioms.	Description Logics	1999	DBLP BibTeX RDF
24	Volker Haarslev, Ralf Möller 0001, Anni-Yasmin Turhan	Implementing an ALCRP(D) ABox Reasoner - Progress Report.	Description Logics	1998	DBLP BibTeX RDF
24	Quentin Elhaik, Marie-Christine Rousset	Making an ABox Persistent.	Description Logics	1998	DBLP BibTeX RDF
24	Giuseppe De Giacomo, Maurizio Lenzerini	TBox and ABox Reasoning in Expressive Description Logics.	KR	1996	DBLP BibTeX RDF
24	Giuseppe De Giacomo, Maurizio Lenzerini	TBox and ABox Reasoning in Expressive Description Logics.	Description Logics	1996	DBLP BibTeX RDF
17	Jianfeng Du, Guilin Qi, Jeff Z. Pan, Yi-Dong Shen	A Decomposition-Based Approach to Optimizing Conjunctive Query Answering in OWL DL.	ISWC	2009	DBLP DOI BibTeX RDF
17	Jing Mei, Shengping Liu, Guo Tong Xie, Aditya Kalyanpur, Achille Fokoue, Yuan Ni, Hanyu Li, Yue Pan	A Practical Approach for Scalable Conjunctive Query Answering on Acyclic EL+\mathcal{EL}^+ Knowledge Base.	ISWC	2009	DBLP DOI BibTeX RDF
17	Gergely Lukácsy, Péter Szeredi	Scalable Web Reasoning Using Logic Programming Techniques.	RR	2009	DBLP DOI BibTeX RDF	DL, Scalability, Parallelism, Logic Programming, OWL
17	Georgios Meditskos, Nick Bassiliades	A Rule-Based Object-Oriented OWL Reasoner.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF	Object-Oriented Programming, Inference engines, Rule-based processing, Ontology languages
17	Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler	Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.	ISWC	2008	DBLP DOI BibTeX RDF