Search results for "subsumption"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß	Subsumption Algorithms for Concept Description Languages.	ECAI	1990	DBLP BibTeX RDF
18	Jochen Dörre, William C. Rounds	On Subsumption and Semiunifaction in Feature Algebras	IWBS Report	1989	RDF
18	Edward W. Elcock	Prolog: Subsumption of Equality Axioms by the Homogeneous Form.	J. Log. Program.	1989	DBLP DOI BibTeX RDF
18	Peter F. Patel-Schneider	Undecidability of Subsumption in NIKL.	Artif. Intell.	1989	DBLP DOI BibTeX RDF
18	Bernhard Hollunder	Subsumption algorithms for some attributive concept description languages.		1989	RDF
18	Manfred Schmidt-Schauß	Subsumption in KL-ONE is Undecidable.	KR	1989	DBLP BibTeX RDF
18	Wray L. Buntine	Generalized Subsumption and Its Applications to Induction and Redundancy.	Artif. Intell.	1988	DBLP DOI BibTeX RDF
18	Georg Gottlob	Subsumption and Implication.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
18	Michael P. Wellman	Dominance and Subsumption in Constraint-Posting Planning.	IJCAI	1987	DBLP BibTeX RDF
18	Jonathan Connell	Creature Design with the Subsumption Architecture.	IJCAI	1987	DBLP BibTeX RDF
18	P. Hoddinott, Edward W. Elcock	PROLOG: Subsumption of Equality Axioms by the Homogeneous Form. (long version: JLP 6(1&2): 45-56)	SLP	1986	DBLP BibTeX RDF
18	Wray L. Buntine	Generalised Subsumption and its Applications to Induction and Redundancy.	ECAI	1986	DBLP BibTeX RDF
18	Georg Gottlob, Alexander Leitsch	Fast Subsumption Algorithms.	European Conference on Computer Algebra (2)	1985	DBLP DOI BibTeX RDF
18	Ronald J. Brachman, Hector J. Levesque	The Tractability of Subsumption in Frame-Based Description Languages.	AAAI	1984	DBLP BibTeX RDF
18	Hassan Aït-Kaci	Type Subsumption as a Model of Computation.	Expert Database Workshop	1984	DBLP BibTeX RDF
18	Dennis de Champeaux	A note on resolution, connection graphs, and subsumption.	SIGART Newsl.	1982	DBLP DOI BibTeX RDF
18	Norbert Eisinger	Subsumption and Connectionsgraphs.	GWAI	1981	DBLP DOI BibTeX RDF
18	Norbert Eisinger	Subsumption And Connection Graphs.	IJCAI	1981	DBLP BibTeX RDF
10	Kseniya B. Shalonova, Bruno Golénia, Peter A. Flach	Towards Learning Morphology for Under-Resourced Fusional and Agglutinating Languages.	IEEE Trans. Speech Audio Process.	2009	DBLP DOI BibTeX RDF
10	Érick Alphonse, Aomar Osmani	Empirical Study of Relational Learning Algorithms in the Phase Transition Framework.	ECML/PKDD (1)	2009	DBLP DOI BibTeX RDF
10	Fu Zhang 0001, Zong Min Ma 0001, Jingwei Cheng, Xiangfu Meng	Fuzzy semantic web ontology learning from fuzzy UML model.	CIKM	2009	DBLP DOI BibTeX RDF	fuzzy UML model, ontology learning, fuzzy ontology
10	Robert D. C. Shearer, Ian Horrocks 0001	Exploiting Partial Information in Taxonomy Construction.	ISWC	2009	DBLP DOI BibTeX RDF
10	Yang Yu 0029, Donald Hillman, Basuki Setio, Jeff Heflin	A Case Study in Integrating Multiple E-commerce Standards via Semantic Web Technology.	ISWC	2009	DBLP DOI BibTeX RDF	e-commerce, ontology integration
10	James P. McGlothlin, Latifur R. Khan	RDFKB: efficient support for RDF inference queries and knowledge management.	IDEAS	2009	DBLP DOI BibTeX RDF	information integration and retrieval, logic and databases, ontology, semantic web, data models, resource description framework, knowledge base management systems
10	Karima Toumani, Hélène Jaudoin, Michel Schneider	Automatic Generation of P2P Mappings between Sources Schemas.	ISMIS	2009	DBLP DOI BibTeX RDF	rewriting queries, description logics, hypergraphs, Schema mappings
10	Jacek Lewandowski, Henryk Rybinski	A Hybrid Method of Indexing Multiple-Inheritance Hierarchies.	ISMIS	2009	DBLP DOI BibTeX RDF
10	Rajesh K. Thiagarajan, Wolfgang Mayer, Markus Stumptner	Semantic Service Discovery by Consistency-Based Matchmaking.	APWeb/WAIM	2009	DBLP DOI BibTeX RDF
10	Tim Kimber, Krysia Broda, Alessandra Russo	Induction on Failure: Learning Connected Horn Theories.	LPNMR	2009	DBLP DOI BibTeX RDF	Inverse Entailment, Abductio, Inductive Logic Programming
10	Roberto Sebastiani, Michele Vescovi	Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis.	CADE	2009	DBLP DOI BibTeX RDF
10	Freddy Lécué, Alexandre Delteil, Alain Léger	Extending Web Service Composition Languages with Semantic Data Flow.	ICSC	2009	DBLP DOI BibTeX RDF
10	Phiniki Stouppa, Thomas Studer	Data Privacy for Knowledge Bases.	LFCS	2009	DBLP DOI BibTeX RDF
10	Franz Baader, Barbara Morawska 0001	Unification in the Description Logic EL.	RTA	2009	DBLP DOI BibTeX RDF
10	Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca	Intersection, Universally Quantified, and Reference Types.	CSL	2009	DBLP DOI BibTeX RDF
10	Hengzhi Wu, Thomas Roelleke	Semi-subsumed Events: A Probabilistic Semantics of the BM25 Term Frequency Quantification.	ICTIR	2009	DBLP DOI BibTeX RDF
10	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato	Reasoning about Typicality with Low Complexity Description Logics: The Logic EL+^T.	AI*IA	2009	DBLP DOI BibTeX RDF
10	Yi Zhou 0013, Yan Zhang 0003	Modeling Abstract Behavior: A Dynamic Logic Approach.	Australasian Conference on Artificial Intelligence	2009	DBLP DOI BibTeX RDF
10	Arnold Chien	Scalar implicature and contrastive explanation.	Synth.	2008	DBLP DOI BibTeX RDF	Contrastive explanation, Scalar implicature, Why-questions, Explanation, Implicature
10	Sofien Khemakhem, Khalil Drira, Emna Khemakhem, Mohamed Jmaiel	An experimental evaluation of SEC+, an enhanced search engine for component-based software development.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF
10	Sofien Khemakhem, Khalil Drira, Emna Khemakhem, Mohamed Jmaiel	An experimental evaluation of SEC+, an enhanced search engine for component-based software development.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF
10	Victor R. L. Shen, Tong-Ying Tony Juang	Verification of Knowledge-Based Systems Using Predicate/Transition Nets.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
10	Ju Wang 0005, Yuncheng Jiang, Yuming Shen	Satisfiability and reasoning mechanism of terminological cycles in description logic vL .	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	terminological cycles, description graph, model, description logic
10	Davy Preuveneers, Yolande Berbers	Encoding Semantic Awareness in Resource-Constrained Devices.	IEEE Intell. Syst.	2008	DBLP DOI BibTeX RDF	pervasive computing, ontology languages, algorithms for data and knowledge management
10	Jérôme David, Fabrice Guillet, Henri Briand, Régis Gras	On the use of Implication Intensity for matching ontologies and textual taxonomies.	Statistical Implicative Analysis	2008	DBLP DOI BibTeX RDF	association rule, Ontology alignment, ontology matching, interestingness measure
10	Dan Corbett	Graph-Based Representation and Reasoning for Ontologies.	Computational Intelligence: A Compendium	2008	DBLP DOI BibTeX RDF
10	Fernando Bobillo, Miguel Delgado 0001, Juan Gómez-Romero	Optimizing the Crisp Representation of the Fuzzy Description Logic.	URSW (LNCS Vol.)	2008	DBLP DOI BibTeX RDF
10	Jérôme Euzenat	Algebras of Ontology Alignment Relations.	ISWC	2008	DBLP DOI BibTeX RDF
10	Wei Li 0006, Joseph E. Sutton, Y. Li	Integration of Chemical and Visual Sensors for Identifying an Odor Source in Near Shore Ocean Conditions.	ICMLA	2008	DBLP DOI BibTeX RDF
10	John Keeney, Dominik Roblek, Dominic Jones, David Lewis 0001, Declan O'Sullivan	Extending Siena to support more expressive and flexible subscriptions.	DEBS	2008	DBLP DOI BibTeX RDF	content-based networks knowledge-based networks, ontologies, semantics, bags, publish-subscribe
10	Armin Haller, Jedrzej Gontarczyk, Paavo Kotinurmi	Towards a complete SCM ontology: the case of ontologising RosettaNet.	SAC	2008	DBLP DOI BibTeX RDF	RosettaNet, semantic web services, supply chain management, ontology engineering
10	Yassine Mokhtari, Sa'ed Abed, Otmane Aït Mohamed, Sofiène Tahar, Xiaoyu Song	A New Approach for the Construction of Multiway Decision Graphs.	ICTAC	2008	DBLP DOI BibTeX RDF
10	Kimio Kuramitsu	A Map-based Integration of Ontologies into an Object-Oriented Programming Language.	IFIP AI	2008	DBLP DOI BibTeX RDF
10	Fei Wu 0003, Raphael Hoffmann, Daniel S. Weld	Information extraction from Wikipedia: moving down the long tail.	KDD	2008	DBLP DOI BibTeX RDF	semantic web, information extraction, Wikipedia
10	Rui Marques, Terrance Swift	Concurrent and Local Evaluation of Normal Programs.	ICLP	2008	DBLP DOI BibTeX RDF
10	David Pearce 0001, Agustín Valverde	Quantified Equilibrium Logic and Foundations for Answer Set Programs.	ICLP	2008	DBLP DOI BibTeX RDF
10	Jackei H. K. Wong, Wilfred W. K. Lin, Allan K. Y. Wong, Tharam S. Dillon	An Ontology Supported Meta-interface for the Development and Installation of Customized Web Based Telemedicine Systems.	SEUS	2008	DBLP DOI BibTeX RDF	Meta-interface paradigm, CTSS, WTS, telemedicine system, enterprise vocabulary, ontology, software development, automated, CAI
10	Mary Lou Jepsen	CAD for displays!	ICCAD	2008	DBLP DOI BibTeX RDF
10	Fulvio Mastrogiovanni, Antonio Sgorbissa, Renato Zaccaria	A Framework for Context-Awareness in Artificial Systems.	KES (1)	2008	DBLP DOI BibTeX RDF
10	Boontawee Suntisrivaraporn, Guilin Qi, Qiu Ji, Peter Haase 0001	A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments.	ASWC	2008	DBLP DOI BibTeX RDF
10	Fu Zhang 0001, Zong Min Ma 0001, Hailong Wang, Xiangfu Meng	A Formal Semantics-Preserving Translation from Fuzzy Relational Database Schema to Fuzzy OWL DL Ontology.	ASWC	2008	DBLP DOI BibTeX RDF	Fuzzy Relational Database Schema (FRDBS), fuzzy OWL DL ontology, semantics-preserving translation, fuzzy database, fuzzy ontology
10	Ondrej Sváb-Zamazal, Vojtech Svátek	Analysing Ontological Structures through Name Pattern Tracking.	EKAW	2008	DBLP DOI BibTeX RDF
10	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato	Reasoning about Typicality in Preferential Description Logics.	JELIA	2008	DBLP DOI BibTeX RDF
10	Anna Cinzia Squicciarini, Marco Casassa Mont, Abhilasha Bhargav-Spantzel, Elisa Bertino	Automatic Compliance of Privacy Policies in Federated Digital Identity Management.	POLICY	2008	DBLP DOI BibTeX RDF
10	Hao Zheng 0003, Xian Wu, Yong Yu 0001	Enriching WordNet with Folksonomies.	PAKDD	2008	DBLP DOI BibTeX RDF	Folksonomy, WordNet, Social Annotation
10	Fu Zhang 0001, Zong Min Ma 0001, Yanhui Lv, Xing Wang 0002	Formal Semantics-Preserving Translation from Fuzzy ER Model to Fuzzy OWL DL Ontology.	Web Intelligence	2008	DBLP DOI BibTeX RDF
10	Ourania Hatzi, Georgios Meditskos, Dimitris Vrakas, Nick Bassiliades, Dimosthenis Anagnostopoulos, Ioannis P. Vlahavas	A Synergy of Planning and Ontology Concept Ranking for Semantic Web Service Composition.	IBERAMIA	2008	DBLP DOI BibTeX RDF	Semantic Web Service Composition, Ontology Concept Ranking, Semantic Matching Relaxation, Planning
10	Xiaowang Zhang, Zuoquan Lin	Paraconsistent Reasoning with Quasi-classical Semantic in .	RR	2008	DBLP DOI BibTeX RDF
10	Pei-Yan Zhang, Tian-Sheng Lü	Real-Time Motion Planning for a Volleyball Robot Task Based on a Multi-Agent Technique.	J. Intell. Robotic Syst.	2007	DBLP DOI BibTeX RDF	task-based manipulability measure, volleyball robot, multi-agent, motion planning, blackboard
10	Alessandro Artale, Christine Parent, Stefano Spaccapietra	Evolving objects in temporal information systems.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68P15, 68T30
10	Chan-Sheng Kuo, Tzung-Pei Hong, Chuen-Lung Chen	Applying genetic programming technique in classification trees.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Genetic programming, Knowledge base, Classification tree, Genetic operator
10	Fausto Giunchiglia, Maurizio Marchese, Ilya Zaihrayeu	Encoding Classifications into Lightweight Ontologies.	J. Data Semantics	2007	DBLP DOI BibTeX RDF
10	Julien Velcin, Jean-Gabriel Ganascia	Default Clustering with Conceptual Structures.	J. Data Semantics	2007	DBLP DOI BibTeX RDF
10	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
10	Roberto García 0001, Rosa Gil 0001, Jaime Delgado	A web ontologies framework for digital rights management.	Artif. Intell. Law	2007	DBLP DOI BibTeX RDF	ontology, semantic web, digital rights management, copyright
10	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato	Preferential Description Logics.	LPAR	2007	DBLP DOI BibTeX RDF
10	Sebastian Brandt	Matching in Hybrid Terminologies.	LPAR	2007	DBLP DOI BibTeX RDF
10	José Luis Ambite, Dipsy Kapoor	Automatically Composing Data Workflows with Relational Descriptions and Shim Services.	ISWC/ASWC	2007	DBLP DOI BibTeX RDF
10	Christian Meilicke, Heiner Stuckenschmidt	Applying Logical Constraints to Ontology Matching.	KI	2007	DBLP DOI BibTeX RDF
10	Kamran Shafi, Hussein A. Abbass, Weiping Zhu 0001	Real time signature extraction from a supervised classifier system.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
10	Martin Hepp, Jos de Bruijn	GenTax: A Generic Methodology for Deriving OWL and RDF-S Ontologies from Hierarchical Classifications, Thesauri, and Inconsistent Taxonomies.	ESWC	2007	DBLP DOI BibTeX RDF	RDF-S, UNSPSC, eCl@ss, classifications, reuse, OWL, taxonomies, e-business, Ontology engineering, ontology learning, thesauri
10	Michael Fink 0001, Reinhard Pichler, Hans Tompits, Stefan Woltran	Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains.	LPNMR	2007	DBLP DOI BibTeX RDF
10	Jurriaan Hage, Stefan Holdermans, Arie Middelkoop	A generic usage analysis with subeffect qualifiers.	ICFP	2007	DBLP DOI BibTeX RDF	uniqueness typing, type and effect systems, qualified types, sharing analysis
10	Tim Kovacs, Larry Bull	Toward a better understanding of rule initialisation and deletion.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	fitness initialisation, learning classifier systems, XCS, deletion, steady state genetic algorithms
10	Albert Orriols-Puig, David E. Goldberg, Kumara Sastry, Ester Bernadó-Mansilla	Modeling XCS in class imbalances: population size and parameter settings.	GECCO	2007	DBLP DOI BibTeX RDF	genetic algorithms, machine learning, evolutionary computation, learning classifier systems, class imbalance
10	Daniele Loiacono, Jan Drugowitsch, Alwyn Barry, Pier Luca Lanzi	Analysis and Improvements of the Classifier Error Estimate in XCSF.	IWLCS	2007	DBLP DOI BibTeX RDF
10	John R. Kender	A Large Scale Concept Ontology for News Stories: Empirical Methods, Analysis, and Improvements.	ICME	2007	DBLP DOI BibTeX RDF
10	Philippe Millet, Jean-Claude Heudin	Web Mining in the EVA Intelligent Agent Architecture.	Web Intelligence/IAT Workshops	2007	DBLP DOI BibTeX RDF
10	José Luis Ambite, Dipsy Kapoor	Argos: a framework for automatically generating data processing workflows.	DG.O	2007	DBLP BibTeX RDF	workflow, knowledge representation, logic, web service composition, information integration
10	José Luis Ambite, Dipsy Kapoor	Automatic generation of data processing workflows for transportation modeling.	DG.O	2007	DBLP BibTeX RDF	workflow, knowledge representation, logic, web service composition, information integration
10	Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Sergio Storari	Applying Inductive Logic Programming to Process Mining.	ILP	2007	DBLP DOI BibTeX RDF	Learning from Interpretations, Business Processes, Process Mining, Interaction Protocols
10	Michael Conrad, Christian Funk, Oliver Raabe, Oliver P. Waldhorst	A Lawful Framework For Distributed Electronic Markets.	Virtual Enterprises and Collaborative Networks	2007	DBLP DOI BibTeX RDF
10	Monika Záková, Filip Zelezný	Exploiting Term, Predicate, and Feature Taxonomies in Propositionalization and Propositional Rule Learning.	ECML	2007	DBLP DOI BibTeX RDF
10	Ali-Asghar Safaei, Mehran Kamali, Mostafa Haghjoo, Kamyar Izadi	Caching Intermediate Results for Multiple-Query Optimization.	AICCSA	2007	DBLP DOI BibTeX RDF
10	Jean-Claude Heudin	Evolutionary Virtual Agent at an Exhibition.	VSMM	2007	DBLP DOI BibTeX RDF	conversational character, intelligent agent, physical model, virtual creature
10	Zhi Qiang Zhuang, Maurice Pagnucco, Thomas Meyer 0002	Implementing Iterated Belief Change Via Prime Implicates.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF
10	Hiroshi Ishida, Hidenao Tanaka, Haruki Taniguchi, Toyosaka Moriizumi	Mobile robot navigation using vision and olfaction to search for a gas/odor source.	Auton. Robots	2006	DBLP DOI BibTeX RDF	Gas/odor source localization, Behavior-based architecture, Mobile robot, Vision, Olfaction
10	Étienne Payet, Frédéric Mesnard	Nontermination inference of logic programs.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	nontermination analysis, optimal termination condition, Logic programming, static analysis
10	Jinguang Gu, Yi Zhou 0022	Ontology based Query Rewriting on Integrated XML based Information Systems.	Advances in Web Intelligence and Data Mining	2006	DBLP DOI BibTeX RDF
10	Jérôme David, Fabrice Guillet, Henri Briand	Matching directories and OWL ontologies with AROMA.	CIKM	2006	DBLP DOI BibTeX RDF	data-mining, semantic web, association rules, ontology matching
10	Willem Robert van Hage, Hap Kolb, Guus Schreiber	A Method for Learning Part-Whole Relations.	ISWC	2006	DBLP DOI BibTeX RDF
10	Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel	SEC: a search engine for component based software development.	SAC	2006	DBLP DOI BibTeX RDF	discover, non-functional aspect, ontology, software component