Search results for "reasoner"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Wei Tai, John Keeney, Declan O'Sullivan	RESP: A Computer Aided OWL REasoner Selection Process.	ICSC	2011	DBLP DOI BibTeX RDF	Reasoner Selection, Application Characteristics, Reasoner Characteristics, Semantic Application Development
3	Annett Bierer, Marcus Hofmann	Dimensions of Case-Based Reasoner Quality Management.	ICCBR	2009	DBLP DOI BibTeX RDF	case-based reasoner quality management, case-based reasoner maintenance, CBRQM framework
3	Hailong Wang, Z. M. Ma, Junfu Yin	FRESG: A Kind of Fuzzy Description Logic Reasoner.	DEXA	2009	DBLP DOI BibTeX RDF	Fuzzy description logic, F-ALC(G), customized data type, reasoner
2	Matt-Mouley Bouamrane, Alan L. Rector, Martin Hurrell	A Hybrid Architecture for a Preoperative Decision Support System Using a Rule Engine and a Reasoner on a Clinical Ontology.	RR	2009	DBLP DOI BibTeX RDF
2	Wei Tai, Rob Brennan, John Keeney, Declan O'Sullivan	An Automatically Composable OWL Reasoner for Resource Constrained Devices.	ICSC	2009	DBLP DOI BibTeX RDF
2	Achille Fokoue, Mudhakar Srivatsa, Pankaj Rohatgi, Peter Wrobel, John Yesberg	A decision support system for secure information sharing.	SACMAT	2009	DBLP DOI BibTeX RDF	flexible information sharing, justification for non-shareability, semantic reasoner, description logic
2	Pavel Klinov	Pronto: A Non-monotonic Probabilistic Description Logic Reasoner.	ESWC	2008	DBLP DOI BibTeX RDF
2	María del Mar Roldán García, José Francisco Aldana Montes	DBOWL: Towards a Scalable and Persistent OWL Reasoner.	ICIW	2008	DBLP DOI BibTeX RDF	scalable reasoning, Semantic Web, queries, OWL
2	Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou	Extending a Defeasible Reasoner with Modal and Deontic Logic Operators.	Web Intelligence/IAT Workshops	2008	DBLP DOI BibTeX RDF
2	Daniel Elenius, Grit Denker, Mark-Oliver Stehr	A Semantic Web Reasoner for Rules, Equations and Constraints.	RR	2008	DBLP DOI BibTeX RDF
2	Georgios Meditskos, Nick Bassiliades	Combining a DL Reasoner and a Rule Engine for Improving Entailment-Based OWL Reasoning.	International Semantic Web Conference	2008	DBLP DOI BibTeX RDF	Hybrid and Homogeneous Systems, Rule-based OWL Reasoning, Entailment Rules, DL Reasoning, Rule Engines
2	Walter Waterfeld, Moritz Weiten, Peter Haase	Ontology Management Infrastructures.	Ontology Management	2008	DBLP DOI BibTeX RDF	OWL, reasoner, rules, repository, Ontology management, registry
2	James D. Jones, Susanna Badiola, Daley Seeker	A Preliminary Discussion of Fluents for Knowledge Representation in a Meta-Reasoner for Enterprise Information Systems.	CONFENIS	2007	DBLP DOI BibTeX RDF	Meta-reasoning, Artificial intelligence, Logic programming, Situation calculus
2	Guohua Shen, Zhiqiu Huang, Xiaodong Zhu, Lei Wang, Gaoyou Xiang	Using Description Logics Reasoner for Ontology Matching.	IITA	2007	DBLP DOI BibTeX RDF
2	Priscila Machado Vieira Lima, M. Mariela Morveli-Espinoza, Felipe M. G. França	Logic as Energy: A SAT-Based Approach.	BVAI	2007	DBLP DOI BibTeX RDF	ARQ-PROP II, higher-order neural networks, propositional reasoner, satyrus, satisfiability
2	Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn	CEL - A Polynomial-Time Reasoner for Life Science Ontologies.	IJCAR	2006	DBLP DOI BibTeX RDF
2	Dmitry Tsarkov, Ian Horrocks	Description Logic Reasoner: System Description.	IJCAR	2006	DBLP DOI BibTeX RDF
2	Nenad Krdzavac, Dragan Djuric, Vladan Devedzic	MDA-Based Architecture of a Description Logics Reasoner.	AIAI	2006	DBLP DOI BibTeX RDF
2	Jingfang Zheng, Michael C. Horsch	A Decision Theoretic Meta-reasoner for Constraint Optimization.	Canadian Conference on AI	2005	DBLP DOI BibTeX RDF
2	Nizamuddin Channa, Shanping Li, Xiangjun Fu	Product knowledge reasoning: a DL-based approach.	ICEC	2005	DBLP DOI BibTeX RDF	knowledge reasoner, ontologies, description logic
2	Haipeng Guo, William H. Hsu	A Learning-Based Algorithm Selection Meta-reasoner for the Real-Time MPE Problem.	Australian Conference on Artificial Intelligence	2004	DBLP DOI BibTeX RDF
2	Anna Wills, Ian Watson	Evaluating a Case-Based Reasoner for Clinical Decision Support.	KES	2004	DBLP DOI BibTeX RDF
2	Anna Wills, Ian Watson	Building a Case-Based Reasoner for Clinical Decision Support.	PRICAI	2004	DBLP DOI BibTeX RDF
2	K. Purang	Alma/Carne: Implementation of a Time-Situated Meta-Reasoner. (PDF / PS)	ICTAI	2001	DBLP DOI BibTeX RDF
2	Veda C. Storey, Roger H. L. Chiang, Debabrata Dey, Robert C. Goldstein, Shankar Sundaresan	Database Design with Common Sense Business Reasoning and Learning.	ACM Trans. Database Syst.	1997	DBLP DOI BibTeX RDF	common sense business reasoner, common sense learning, database design, entity-relationship model, common sense reasoning
1	Fernando Bobillo, Miguel Delgado, Juan Gómez-Romero	DeLorean: A reasoner for fuzzy OWL 2.	Expert Syst. Appl.	2012	DBLP DOI BibTeX RDF
1	Boris Motik, Ian Horrocks, Su Myeon Kim	Delta-reasoner: a semantic web reasoner for an intelligent mobile platform.	WWW (Companion Volume)	2012	DBLP DOI BibTeX RDF
1	Carolyn Mair, Miriam Martincova, Martin J. Shepperd	An Empirical Study of Software Project Managers Using a Case-Based Reasoner.	HICSS	2012	DBLP DOI BibTeX RDF
1	Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou	A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web.	Int. J. Semantic Web Inf. Syst.	2011	DBLP DOI BibTeX RDF
1	Yung-Chien Sun, Grant Clark	Two learning approaches for a rule-based intuitive reasoner.	Expert Syst. Appl.	2011	DBLP DOI BibTeX RDF
1	Nikos Papadakis, Kostas Stravoskoufos, Evdoxios Baratis, Euripides G. M. Petrakis, Dimitris Plexousakis	PROTON: A Prolog Reasoner for Temporal ONtologies in OWL.	Expert Syst. Appl.	2011	DBLP DOI BibTeX RDF
1	Wolfgang Dvorák, Michael Morak, Clemens Nopp, Stefan Woltran	dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation	CoRR	2011	DBLP BibTeX RDF
1	Bernardo Cuenca Grau, Giorgos Stoilos	What to Ask to an Incomplete Semantic Web Reasoner?.	IJCAI	2011	DBLP BibTeX RDF
1	Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik	Unchain My EL Reasoner.	Description Logics	2011	DBLP BibTeX RDF
1	Jan Noessner, Mathias Niepert	ELOG: A Probabilistic Reasoner for OWL EL.	RR	2011	DBLP DOI BibTeX RDF
1	Edward Kim, Xiaolei Huang, Jeff Heflin	Finding VIPs - A visual image persons search using a content property reasoner and web ontology.	ICME	2011	DBLP DOI BibTeX RDF
1	Wei Tai, John Keeney, Declan O'Sullivan	COROR: A COmposable Rule-Entailment Owl Reasoner for Resource-Constrained Devices.	RuleML Europe	2011	DBLP DOI BibTeX RDF
1	Guohua Shen, Lantao Jin, Ziyue Zhao, Zhe Jia, Wenmin He, Zhiqiu Huang	OMReasoner: using reasoner for ontology matching: results for OAEI 2011.	OM	2011	DBLP BibTeX RDF
1	Bruce M. McLaren, Kevin D. Ashley	Can temporal representation and reasoning make a difference in automated legal reasoning?: lessons from an AI-based ethical reasoner.	ICAIL	2011	DBLP DOI BibTeX RDF
1	Georgios Meditskos, Nick Bassiliades	DLEJena: A practical forward-chaining OWL 2 RL reasoner combining Jena and Pellet.	J. Web Sem.	2010	DBLP DOI BibTeX RDF
1	Ruzica Piskac, Viktor Kuncak	MUNCH - Automated Reasoner for Sets and Multisets.	IJCAR	2010	DBLP DOI BibTeX RDF
1	Guilin Qi, Qiu Ji, Jeff Z. Pan, Jianfeng Du	PossDL - A Possibilistic DL Reasoner for Uncertainty Reasoning and Inconsistency Handling.	ESWC	2010	DBLP DOI BibTeX RDF
1	Manuel Salvadores, Gianluca Correndo, Tope Omitola, Nick Gibbins, Steve Harris, Nigel Shadbolt	4s-reasoner: RDFS Backward Chained Reasoning Support in 4store.	Web Intelligence/IAT Workshops	2010	DBLP DOI BibTeX RDF
1	Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks	How Incomplete Is Your Semantic Web Reasoner?	AAAI	2010	DBLP BibTeX RDF
1	Diego Calvanese, C. Maria Keet, Werner Nutt, Mariano Rodriguez-Muro, Giorgio Stefanoni	Web-based graphical querying of databases through an ontology: the Wonder system.	SAC	2010	DBLP DOI BibTeX RDF	graphical query interface, ontology-based data access, semantic web, bioinformatics
1	Yung-Chien Sun, Grant Clark	A computational model of an intuitive reasoner for ecosystem control.	Expert Syst. Appl.	2009	DBLP DOI BibTeX RDF
1	Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Edith Schonberg, Kavitha Srinivas	Scalable highly expressive reasoner (SHER).	J. Web Sem.	2009	DBLP DOI BibTeX RDF
1	Julian Mendez, Boontawee Suntisrivaraporn	Reintroducing CEL as an OWL 2 EL Reasoner.	Description Logics	2009	DBLP BibTeX RDF
1	Satnam Singh, Anuradha Kodali, Krishna R. Pattipati	A factorial hidden markov model (FHMM)-based reasoner for diagnosing multiple intermittent faults.	CASE	2009	DBLP DOI BibTeX RDF
1	Stijn Heymans, Cristina Feier, Thomas Eiter	A Reasoner for Simple Conceptual Logic Programs.	RR	2009	DBLP DOI BibTeX RDF
1	Safdar Ali, Stephan Kiefer	µOR - A Micro OWL DL Reasoner for Ambient Intelligent Devices.	GPC	2009	DBLP DOI BibTeX RDF	Mobile Reasoning, Ambient Intelligent Devices, Semantic Web, Pervasive Computing, Description Logics
1	Yung-Chien Sun, Grant Clark	Implementing an Intuitive Reasoner for Predicting Continuous Weather Variables.	ICCMS	2009	DBLP DOI BibTeX RDF
1	Lei Shi, Lei Fan, Zhenzhen Meng	The Research of Using Jena in the Semantic-Based Online Learning Intelligent Behavior Analysis System.	NCM	2009	DBLP DOI BibTeX RDF	SPASQL, OWL, reasoner, learner model, Jena
1	Marco Brambilla, Christina Tziviskou	An Online Platform for Semantic Validation of UML Models.	ICWE	2009	DBLP DOI BibTeX RDF	ontology, Semantic Web, UML, component, validation, conceptual modeling, pattern, reasoner, class diagram, WebML
1	Lamia Abo Zaid, Frederic Kleinermann, Olga De Troyer	Applying semantic web technology to feature modeling.	SAC	2009	DBLP DOI BibTeX RDF	software variability, ontologies, OWL, feature models, SWRL
1	Nadia Catenazzi, Lorenzo Sommaruga, Riccardo Mazza	User-Friendly Ontology Editing and Visualization Tools: The OWLeasyViz Approach.	IV	2009	DBLP DOI BibTeX RDF
1	Dimitre A. Dimitrov, Roopa Pundaleeka, Abir Qasem, Jeff Heflin	ISENS: A System for Information Integration, Exploration, and Querying of Multi-Ontology Data Sources.	ICSC	2009	DBLP DOI BibTeX RDF
1	Joshua Gross	Reasoning about Movement in Two-Dimensions.	Canadian Conference on AI	2009	DBLP DOI BibTeX RDF
1	Wei Gu, Xin Wang 0004, Danielle Ziébelin	An Ontology-Based Spatial Clustering Selection System.	Canadian Conference on AI	2009	DBLP DOI BibTeX RDF	Knowledge representation formalism, Ontology, Spatial clustering
1	María del Mar Roldán García, José Francisco Aldana Montes	Complete OWL-DL Reasoning Using Relational Databases.	DEXA	2009	DBLP DOI BibTeX RDF
1	Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner	Realizing Default Logic over Description Logic Knowledge Bases.	ECSQARU	2009	DBLP DOI BibTeX RDF
1	Nicola Fanizzi, Claudia d'Amato, Floriana Esposito	ReduCE: A Reduced Coulomb Energy Network Method for Approximate Classification.	ESWC	2009	DBLP DOI BibTeX RDF
1	Marko Luther, Thorsten Liebig, Sebastian Böhm, Olaf Noppens	Who the Heck Is the Father of Bob?.	ESWC	2009	DBLP DOI BibTeX RDF
1	Anders Kofod-Petersen, Agnar Aamodt	Case-Based Reasoning for Situation-Aware Ambient Intelligence: A Hospital Ward Evaluation Study.	ICCBR	2009	DBLP DOI BibTeX RDF
1	George Goguadze	Representation for Interactive Exercises.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
1	Paea LePendu, Dejing Dou, Douglas G. Howe	Detecting Inconsistencies in the Gene Ontology Using Ontology Databases with Not-gadgets.	OTM Conferences	2009	DBLP DOI BibTeX RDF
1	Thein Than Tun, Yijun Yu, Robin C. Laney, Bashar Nuseibeh	Early Identification of Problem Interactions: A Tool-Supported Approach.	REFSQ	2009	DBLP DOI BibTeX RDF	Problem Composition, Problem Interactions, Event Calculus, Problem Frames
1	Ho-Pun Lam, Guido Governatori	The Making of SPINdle.	RuleML	2009	DBLP DOI BibTeX RDF	Modal Defeasible Logic, Reasoning, Defeasible Logic
1	Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati	Ontologies and Databases: The DL-Lite Approach.	Reasoning Web	2009	DBLP DOI BibTeX RDF
1	Jianfeng Du, Guilin Qi, Jeff Z. Pan, Yi-Dong Shen	A Decomposition-Based Approach to Optimizing Conjunctive Query Answering in OWL DL.	International Semantic Web Conference	2009	DBLP DOI BibTeX RDF
1	Luke Albert Steller, Shonali Krishnaswamy, Mohamed Medhat Gaber	A Weighted Approach to Partial Matching for Mobile Reasoning.	International Semantic Web Conference	2009	DBLP DOI BibTeX RDF
1	Juri Luca De Coi, Norbert E. Fuchs, Kaarel Kaljurand, Tobias Kuhn	Controlled English for Reasoning on the Semantic Web.	REWERSE	2009	DBLP DOI BibTeX RDF
1	Luciano Serafini, Andrei Tamilin	Composing Modular Ontologies with Distributed Description Logics.	Modular Ontologies	2009	DBLP DOI BibTeX RDF
1	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
1	Franz Baader, Novak Novakovik, Boontawee Suntisrivaraporn	A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes.	Description Logics	2008	DBLP BibTeX RDF
1	Pieter Simoens, Steven Latré, Bart De Vleeschauwer, Wim Van de Meerssche, Filip De Turck, Bart Dhoedt, Piet Demeester, Steven Van den Berghe, Edith Gilon-de Lumley	Design of an Autonomic QoE Reasoner for Improving Access Network Performance.	ICAS	2008	DBLP DOI BibTeX RDF
1	Markus Stocker, Michael Smith	Owlgres: A Scalable OWL Reasoner.	OWLED	2008	DBLP BibTeX RDF
1	Rob Shearer, Boris Motik, Ian Horrocks	HermiT: A Highly-Efficient OWL Reasoner.	OWLED	2008	DBLP BibTeX RDF
1	Anders Kofod-Petersen, Jörg Cassens, Agnar Aamodt	Explanatory Capabilities in the CREEK Knowledge-Intensive Case-Based Reasoner.	SCAI	2008	DBLP BibTeX RDF
1	Fernando Bobillo, Umberto Straccia	fuzzyDL: An expressive fuzzy description logic reasoner.	FUZZ-IEEE	2008	DBLP DOI BibTeX RDF
1	Fernando Bobillo, Miguel Delgado, Juan Gómez-Romero	DeLorean: A Reasoner for Fuzzy OWL 1.1.	URSW	2008	DBLP BibTeX RDF
1	Livia Predoiu	A Reasoner for Generalized Bayesian DL-Programs.	URSW	2008	DBLP BibTeX RDF
1	Shu-Bin Cai, Zhong Ming, Shi-xian Li	Personalized Reasoner Based on Belief Strengths of Information Sources.	AAAI	2008	DBLP BibTeX RDF
1	Matthew South, Gerard Vreeswijk, John Fox	Dungine: A Java Dung Reasoner.	COMMA	2008	DBLP BibTeX RDF
1	Rosella Gennari, Ornella Mich	Designing and assessing an intelligent e-tool for deaf children.	IUI	2008	DBLP DOI BibTeX RDF	AI techniques in interfaces, interfaces that teach and provide feedback, intelligent visualization
1	José Viterbo Filho, Markus Endler	A strategy for cooperative reasoning in ubiquitous computing environments.	MPAC	2008	DBLP DOI BibTeX RDF	cooperative reasoning, ubiquitous computing, middleware
1	Daniel Corrêa Lobato, Matheus Qualio Barbosa, Renato Bulcão Neto, César A. C. Teixeira, Maria da Graça Campos Pimentel	Exploiting semantic information on a message exchanging middleware.	SAC	2008	DBLP DOI BibTeX RDF	semantic web, adaptive middleware
1	Hande Zirtiloglu, Pinar Yolum	Ranking semantic information for e-government: complaints management.	OBI	2008	DBLP DOI BibTeX RDF	ontology, e-government, answer set programming
1	Mohammad M. R. Chowdhury, Sarfraz Alam, Josef Noll	Policy based access for home contents and services.	CSTST	2008	DBLP DOI BibTeX RDF	authorization, policy, reasoning, rule
1	Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler	Structured objects in owl: representation and reasoning.	WWW	2008	DBLP DOI BibTeX RDF	structured objects, description logics, owl
1	Bruce Spencer, Sandy Liu	Modelling the Sharing of Resources across Collaborative Sessions.	APSCC	2008	DBLP DOI BibTeX RDF
1	Seyyed Ali Rokni Dezfouli, Jafar Habibi, Soheil Hassas Yeganeh	Promoting B2B Integration with Semantic Web Service Technologies.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF
1	María del Mar Roldán García, Joaquin J. Molina-Castro, José Francisco Aldana Montes	ECQ: A Simple Query Language for the Semantic Web.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	scalable reasoning, Semantic Web, queries, OWL
1	Lian Shi, Jigui Sun	Automatic Instance Identification in Intelligent Information Search Engine CRAB.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	CRAB, Semantic Web, Ontology Population
1	Lucia Del Prete, Licia Capra	Reliable Discovery and Selection of Composite Services in Mobile Environments.	EDOC	2008	DBLP DOI BibTeX RDF
1	Steven Schockaert, Martine De Cock, Etienne E. Kerre	Acquiring Vague Temporal Information from the Web.	Web Intelligence/IAT Workshops	2008	DBLP DOI BibTeX RDF
1	Mariano Rodriguez-Muro, Lina Lubyte, Diego Calvanese	Realizing Ontology Based Data Access: A plug-in for protégé.	ICDE Workshops	2008	DBLP DOI BibTeX RDF
1	Ramakrishna Soma, Viktor K. Prasanna	Parallel Inferencing for OWL Knowledge Bases.	ICPP	2008	DBLP DOI BibTeX RDF
1	Abir Qasem, Dimitre A. Dimitrov, Jeff Heflin	Efficient Selection and Integration of Data Sources for Answering Semantic Web Queries.	ICSC	2008	DBLP DOI BibTeX RDF
1	Carlos Bobed, Raquel Trillo, Eduardo Mena, Jordi Bernad	Semantic Discovery of the User Intended Query in a Selectable Target Query Language.	Web Intelligence	2008	DBLP DOI BibTeX RDF