Search results for "inconsistency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
29	Xuandong Li, Johan Lilius	Checking compositions of UML sequence diagrams for timing inconsistency.	APSEC	2000	DBLP DOI BibTeX RDF	UML sequence diagram composition checking, timing inconsistency checking, real-time systems specification, system behaviour scenarios, high-level graphs, real-time systems, model checking, Unified Modeling Language, formal verification, graphs, timing, specification languages, sequences, diagrams, object interactions
29	Alessandra Russo, Bashar Nuseibeh, Jeff Kramer	Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study.	ICRE	1998	DBLP DOI BibTeX RDF	managing inconsistency, requirement engineering, restructuring
29	Tadao Murata, V. S. Subrahmanian, Toshiro Wakayama	A Petri Net Model for Reasoning in the Presence of Inconsistency.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	large expert systems, Petri nets, query processing, logic programs, logic programming, logic programming, expert systems, query languages, queries, reasoning, inference mechanisms, inconsistency, classical logic, Petri net model
26	Sabine Nagel, Patrick Delfmann	Investigating Inconsistency Understanding to Support Interactive Inconsistency Resolution in Declarative Process Models.	ECIS	2022	DBLP BibTeX RDF
26	Mengzhu Sun, Xi Zhang 0008, Jianqiang Ma, Yazheng Liu	Inconsistency Matters: A Knowledge-guided Dual-inconsistency Network for Multi-modal Rumor Detection.	EMNLP (Findings)	2021	DBLP DOI BibTeX RDF
26	Irit Hadar, Anna Zamansky, Daniel M. Berry	The inconsistency between theory and practice in managing inconsistency in requirements engineering.	Empir. Softw. Eng.	2019	DBLP DOI BibTeX RDF
26	Xiaowang Zhang, Kewen Wang 0001, Zhe Wang 0001, Yue Ma 0009, Guilin Qi, Zhiyong Feng 0002	A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite.	Int. J. Approx. Reason.	2017	DBLP DOI BibTeX RDF
26	Jirí Mazurek	On Inconsistency Indices and Inconsistency Axioms in Pairwise Comparisons.	CoRR	2017	DBLP BibTeX RDF
26	Yuhao Wu, Yuki Manabe 0001, Daniel M. Germán, Katsuro Inoue	How are Developers Treating License Inconsistency Issues? A Case Study on License Inconsistency Evolution in FOSS Projects.	OSS	2017	DBLP DOI BibTeX RDF
26	Hendrik Decker	Inconsistency-Tolerant Database Repairs and Simplified Repair Checking by Measure-Based Integrity Checking.	Trans. Large Scale Data Knowl. Centered Syst.	2017	DBLP DOI BibTeX RDF
26	Philippe Besnard	Basic Postulates for Inconsistency Measures.	Trans. Large Scale Data Knowl. Centered Syst.	2017	DBLP DOI BibTeX RDF
26	Jean Paul Van Bendegem	Inconsistency in mathematics and the mathematics of inconsistency.	Synth.	2014	DBLP DOI BibTeX RDF
26	Florin O. Bilbiie	The Time Inconsistency of Delegation-Based Time Inconsistency Solutions in Monetary Policy.	J. Optim. Theory Appl.	2011	DBLP DOI BibTeX RDF
26	Hendrik Decker	Inconsistency-Tolerant Integrity Checking Based on Inconsistency Metrics.	KES (2)	2011	DBLP DOI BibTeX RDF
26	Guido Vanackere	HL2, an Inconsistency-adaptive and Inconsistency-resolving Logic for General Statements that might have Exceptions.	J. Appl. Non Class. Logics	2000	DBLP DOI BibTeX RDF
26	Dov M. Gabbay, Anthony Hunter	Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency.	ECSQARU	1993	DBLP DOI BibTeX RDF
26	Dov M. Gabbay, Anthony Hunter	Making inconsistency respectable: a logical framework for inconsistency in reasoning.	FAIR	1991	DBLP DOI BibTeX RDF
24	Liping Zhou	Dealing with Inconsistencies in DL-Lite Ontologies.	ESWC	2009	DBLP DOI BibTeX RDF
24	Kilho Shin, Xian Ming Xu	Consistency-Based Feature Selection.	KES (1)	2009	DBLP DOI BibTeX RDF
24	Kazumi Nakamatsu	The Paraconsistent Annotated Logic Program EVALPSN and its Application.	Computational Intelligence: A Compendium	2008	DBLP DOI BibTeX RDF
24	Canhui Wang, Min Zhang 0006, Liyun Ru, Shaoping Ma	Automatic online news topic ranking using media focus and user attention based on aging theory.	CIKM	2008	DBLP DOI BibTeX RDF	media focus, page view, topic ranking, user attention
24	Weiru Liu	Conflict Analysis and Merging Operators Selection in Possibility Theory.	ECSQARU	2007	DBLP DOI BibTeX RDF
24	George Koliadis, Aditya Ghose	Verifying Semantic Business Process Models in Inter-operation.	IEEE SCC	2007	DBLP DOI BibTeX RDF
24	Susan Elias, K. S. Easwarakumar, Richard Chbeir	Dynamic consistency checking for temporal and spatial relations in multimedia presentations.	SAC	2006	DBLP DOI BibTeX RDF	authoring, multimedia presentation, consistency checking, spatial relations, temporal relations
24	Weiru Liu	Measuring Conflict Between Possibilistic Uncertain Information Through Belief Function Theory.	KSEM	2006	DBLP DOI BibTeX RDF
24	Xuejun Yang, Xiangli Qu	Towards reliable trust establishment in grid: a pre-evaluating set based bias-tuned method for dishonest feedback filtering.	PST	2006	DBLP DOI BibTeX RDF	feedback filtering, pre-evaluating set, trust, grid
24	Paula Amaral 0001, Pedro Barahona	A Framework for Optimal Correction of Inconsistent Linear Constraints.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	infeasibility, flexible constraints, optimal correction, linear constraints
24	Leila Amgoud, Souhila Kaci	An Argumentation Framework for Merging Conflicting Knowledge Bases: The Prioritized Case.	ECSQARU	2005	DBLP DOI BibTeX RDF
24	Churn-Jung Liau	Ordered Belief Fusion in Possibilistic Logic.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF	Belief fusion, multi-agent systems, epistemic logic, possibilistic logic, database merging
24	Éric Grégoire	About the dynamics of iterated knowledge fusion by weakening.	IRI	2005	DBLP DOI BibTeX RDF
24	Suiping Zhou, Wentong Cai 0001, Bu-Sung Lee, Stephen John Turner	Time-space consistency in large-scale distributed virtual environments.	ACM Trans. Model. Comput. Simul.	2004	DBLP DOI BibTeX RDF	dead reckoning algorithm, Consistency, distributed virtual environments
24	Odinaldo Rodrigues, Artur S. d'Avila Garcez, Alessandra Russo	Reasoning About Requirements Evolution Using Clustered Belief Revision.	SBIA	2004	DBLP DOI BibTeX RDF
24	Shao Hua, Guiran Chang, Zhao Hong	The Consistency between the Attribute Relationships and Time-Serial Count Operators.	CBMS	2004	DBLP DOI BibTeX RDF
24	Florence Dupin de Saint-Cyr, Béatrice Duval, Stéphane Loiseau	A Priori Revision.	ECSQARU	2001	DBLP DOI BibTeX RDF
24	Xiaochun Cheng, Haihong Dai	Operator Fuzzy Logic Based on Argumentation.	HICSS (5)	1998	DBLP DOI BibTeX RDF	Operator Fuzzy Logic, argumentation, conflict resolution, nonmonotonic reasoning, Horn clause
24	Calton Pu, Miu K. Tsang, Kun-Lung Wu, Philip S. Yu	Multiversion Divergence Control of Time Fuzziness.	CIKM	1994	DBLP DOI BibTeX RDF
24	Ebrahim Bagheri, Faezeh Ensan	Evidential reasoning for the treatment of incoherent terminologies.	SAC	2010	DBLP DOI BibTeX RDF	debugging incoherent terminologies, inconsistency resolution, description logic, subjective logic, evidential reasoning
24	Gilles Perrouin, Erwan Brottier, Benoit Baudry, Yves Le Traon	Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective.	REFSQ	2009	DBLP DOI BibTeX RDF	model-driven requirements engineering, flexible inconsistency management, model composition
24	Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack	Detecting and Repairing Inconsistencies across Heterogeneous Models.	ICST	2008	DBLP DOI BibTeX RDF	Model Driven Development, Inconsistency Management, Model Consistency
24	Lian Yu, Shuang Su, Shan Luo, Yu Su 0007	Completeness and Consistency Analysis on Requirements of Distributed Event-Driven Systems.	TASE	2008	DBLP DOI BibTeX RDF	Completeness and consistency analysis, requirement-related faults, formal scenario model, inconsistency elimination, event-driven systems
24	Kedian Mu, Zhi Jin, Ruqian Lu, Yan Peng	Handling non-canonical software requirements based on Annotated Predicate Calculus.	Knowl. Inf. Syst.	2007	DBLP DOI BibTeX RDF	Redundancy, Inconsistency, Software requirements, Paraconsistent logic, Vagueness, Incompleteness
24	Ilyes Jenhani, Nahla Ben Amor, Zied Elouedi, Salem Benferhat, Khaled Mellouli	Information Affinity: A New Similarity Measure for Possibilistic Uncertain Information.	ECSQARU	2007	DBLP DOI BibTeX RDF	Divergence measure, Inconsistency measure, Similarity, Distance, Possibility theory
24	Sabine Glesner	Finite Integer Computations: An Algebraic Foundation for Their Correctness.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Additional Keywords finite integer and residue class arithmetic, changing representation sizes, Java Card bytecode optimization, constant folding, Java and C arithmetic, formal verification, inconsistency, Java Card, Isabelle/HOL
24	Vincenzo Gervasi, Didar Zowghi	Reasoning about inconsistencies in natural language requirements.	ACM Trans. Softw. Eng. Methodol.	2005	DBLP DOI BibTeX RDF	Requirements, natural language, inconsistency, default logic
24	Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Arie Gurfinkel	Multi-valued symbolic model-checking.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	?Chek., model-checking, fairness, inconsistency, CTL, multi-valued logic, partiality
24	Vesper Owei	An intelligent approach to handling imperfect information in concept-based natural language queries.	ACM Trans. Inf. Syst.	2002	DBLP DOI BibTeX RDF	ambiguous query, anaphoric query, concept-based query, conceptual query language, elliptical query, imperfect queries, inexplicit query, missing information, natural language query, semantically mismatched query, incomplete information, inconsistency, natural language interface
24	Isabela Drummond, Lluís Godo, Sandra A. Sandri	Restoring Consistency in Systems of Fuzzy Gradual Rules Using Similarity Relations.	SBIA	2002	DBLP DOI BibTeX RDF	similarity, inconsistency, fuzzy rule-based systems, gradual rules
24	Didar Zowghi, Vincenzo Gervasi, Andrew McRae	Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements.	APSEC	2001	DBLP DOI BibTeX RDF	s cenarios, Requirements, natural language, inconsistency, default logic
24	Yann Loyer, Nicolas Spyratos, Daniel Stamate	Hypothesis Support for Information Integration in Four-Valued Logics.	IFIP TCS	2000	DBLP DOI BibTeX RDF	deductive databases and knowledge bases, information integration, inconsistency, logics of knowledge, four-valued logic
24	Michael Goedicke, Torsten Meyer, Gabriele Taentzer	ViewPoint-Oriented Software Development by Distributed Graph Transformation: Towards a Basis for Living with Inconsistencies.	RE	1999	DBLP DOI BibTeX RDF	Integration of Software Architecture and Performance Evaluation, Requirements Engineering, Graph Transformation, ViewPoints, Inconsistency Management
24	Yuko Murayama	Configuration Detection as a Problem of Knowledge Discovery in Computer Networks.	CoopIS	1997	DBLP DOI BibTeX RDF	configuration detection, network object existence, network object location, network configuration knowledge maintenance, scale problem, management domain partitioning, network address authorisation, network-level threats, security technique, address resolution, data mining, knowledge discovery, computer networks, configuration management, routers, inconsistency, internetworking, dynamic learning, invalidity, hosts
24	Gianpaolo Cugola, Elisabetta Di Nitto, Alfonso Fuggetta, Carlo Ghezzi	A Framework for Formalizing Inconsistencies and Deviations in Human-Centered Systems.	ACM Trans. Softw. Eng. Methodol.	1996	DBLP DOI BibTeX RDF	business processes, software processes, formal model, inconsistency, deviation, human-centered systems
24	Salem Benferhat, Didier Dubois, Henri Prade	Reasoning in Inconsistent Stratified Knowledge Bases.	ISMVL	1996	DBLP DOI BibTeX RDF	uncertainty, argumentation, inconsistency, possibility theory
24	Souâd Taouil-Traverson, Sylvie Vignes	Preliminary Analysis Cycle for B-Method Software Development.	EUROMICRO	1996	DBLP DOI BibTeX RDF	preliminary analysis cycle, B-method software development, a priori errors detection, inconsistency deficiencies, formal specification, formal specifications, formal methods, correctness proofs, incompleteness, testing process, software life-cycle
24	Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein	A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	heterogeneous components, multiple ViewPoints, partial requirements specifications, inter-ViewPoint communication, ViewPoints framework, requirements specification method, computer-based ViewPoints support, The Viewer, formal specification, requirements specification, CORE, multiple views, consistency checking, inconsistency management
21	Michal Malski	An Algorithm for Inconsistency Resolution in Recommendation Systems and Its Application in Multi-Agent Systems.	KES-AMSTA	2009	DBLP DOI BibTeX RDF
21	Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca	Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates.	SECURWARE	2008	DBLP DOI BibTeX RDF
21	Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca	Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets.	SECURWARE	2008	DBLP DOI BibTeX RDF
21	Hendrik Decker	Extending Inconsistency-Tolerant Integrity Checking by Semantic Query Optimization.	DEXA	2008	DBLP DOI BibTeX RDF
21	Faezeh Ensan, Weichang Du	Aspects of Inconsistency Resolution in Modular Ontologies.	Canadian AI	2008	DBLP DOI BibTeX RDF
21	Fahim T. Imam, Wendy MacCaull	Integrating Healthcare Ontologies: Inconsistency Tolerance and Case Study.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF	multi-valued logic, Ontology integration, paraconsistency
21	Ngoc Thanh Nguyen 0001	Keynote Speech: Computational Collective Intelligence and Knowledge Inconsistency in Multi-agent Environments.	PRIMA	2008	DBLP DOI BibTeX RDF
21	Sylvie Coste-Marquis, Pierre Marquis	Recovering Consistency by Forgetting Inconsistency.	JELIA	2008	DBLP DOI BibTeX RDF
21	Maw-Shang Chang, Chuang-Chieh Lin, Peter Rossmanith	New Fixed-Parameter Algorithms for the Minimum Quartet Inconsistency Problem.	IWPEC	2008	DBLP DOI BibTeX RDF
21	Fahim T. Imam, Wendy MacCaull, Margaret Ann Kennedy	Merging Healthcare Ontologies: Inconsistency Tolerance and Implementation Issues.	CBMS	2007	DBLP DOI BibTeX RDF
21	Qin Li 0002, Huibiao Zhu, Jifeng He 0001	An Inconsistency Free Formalization of B/S Architecture.	SEW	2007	DBLP DOI BibTeX RDF
21	Ngoc Thanh Nguyen 0001	Using Consensus Methodology in Processing Inconsistency of Knowledge.	Advances in Web Intelligence and Data Mining	2006	DBLP DOI BibTeX RDF
21	Michal Malski	An Algorithm for Inconsistency Resolving in Recommendation Web-Based Systems.	KES (2)	2006	DBLP DOI BibTeX RDF
21	Dongwon Jeong, Youn-Hee Han	Resolving the Semantic Inconsistency Problem for Ubiquitous RFID Applications.	UIC	2006	DBLP DOI BibTeX RDF	Metadata register, Ubiquitous computing, Semantic, Interoperability, RFID, Consistency
21	Gang Hua 0001, Ying Wu 0001	Measurement integration under inconsistency for robust tracking.	CVPR (1)	2006	DBLP DOI BibTeX RDF
21	Muhammad Z. Ikram, Dennis R. Morgan	Permutation inconsistency in blind speech separation: investigation and solutions.	IEEE Trans. Speech Audio Process.	2005	DBLP DOI BibTeX RDF
21	Peter Haase 0001, Frank van Harmelen, Zhisheng Huang, Heiner Stuckenschmidt, York Sure	A Framework for Handling Inconsistency in Changing Ontologies.	ISWC	2005	DBLP DOI BibTeX RDF
21	Benjamin Schaeffer, Peter Brinkmann, George K. Francis, Camille Goudeseune, Jim Crowell, Hank Kaczmarski	Myriad: scalable VR via peer-to-peer connectivity, PC clustering, and transient inconsistency.	VRST	2005	DBLP DOI BibTeX RDF	peer-to-peer, virtual environments, PC cluster
21	Gang Wu, Jia-Huai You, Guohui Lin	A Polynomial Algorithm for the Minimum Quartet Inconsistency Problem with O(n) Quartet Errors.	CSB Workshops	2005	DBLP DOI BibTeX RDF
21	Zhi-Ping Fan, Xia Chen	Consensus Measures and Adjusting Inconsistency of Linguistic Preference Relations in Group Decision Making.	FSKD (1)	2005	DBLP DOI BibTeX RDF	Group decision making (GDM), Linguistic preference relation, Consensus degree, Feedback mechanism
21	Janusz Jezewski, Janusz Wrobel, Tomasz Kupka	Baseline and Acceleration Episodes - Clinically Significant Nonstationarities in FHR Signal: Part I. Coefficients of Inconsistency.	CORES	2005	DBLP DOI BibTeX RDF
21	Kedian Mu, Zhi Jin, Ruqian Lu	Inconsistency-Based Strategy for Clarifying Vague Software Requirements.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF
21	Hongbin Fang, Ling Zhang	Semi-order structure fusion model of quotient spaces under the condition of inconsistency information.	GrC	2005	DBLP DOI BibTeX RDF
21	Sébastien Konieczny, Pierre Marquis	Three-Valued Logics for Inconsistency Handling.	JELIA	2002	DBLP DOI BibTeX RDF
21	Jens Gramm, Rolf Niedermeier	Minimum Quartet Inconsistency Is Fixed Parameter Tractable.	CPM	2001	DBLP DOI BibTeX RDF
21	Stefano Monti, Giuseppe Carenini	Dealing with the Expert Inconsistency in Probability Elicitation.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	probability elicitation, analytic hierarchy process, Bayesian belief networks
21	Dragan Gamberger, Nada Lavrac, Goran Krstacic, Tomislav Smuc	Inconsistency Tests for Patient Records in a Coronary Heart Disease Database.	ISMDA	2000	DBLP DOI BibTeX RDF
21	Ian Sommerville, Peter Sawyer, Stephen Viller	Managing Process Inconsistency Using Viewpoints.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	software process, process improvement, Viewpoints
21	Éric Grégoire	Handling Inconsistency Efficiently in the Incremental Construction of Statified Belief Bases.	ESCQARU	1999	DBLP DOI BibTeX RDF
16	Vasileios Pappas, Duane Wessels, Daniel Massey, Songwu Lu, Andreas Terzis, Lixia Zhang 0001	Impact of configuration errors on DNS robustness.	IEEE J. Sel. Areas Commun.	2009	DBLP DOI BibTeX RDF
16	Wan-rong Jih, Jane Yung-jen Hsu, Han-Wen Chang	Agent-Based Context Consistency Management in Smart Space Environments.	SOCASE	2009	DBLP DOI BibTeX RDF
16	Yoshio Kakizaki, Yoshiaki Yoshida, Hidekazu Tsuji	An Improvement to a Decentralized Management Method for Uniquely Accessible Attribute Information.	ARES	2009	DBLP DOI BibTeX RDF
16	Dounia Habhouba, Alain Desrochers, Soumaya Cherkaoui	Agent-based assistance for engineering change management: An implementation prototype.	CSCWD	2009	DBLP DOI BibTeX RDF
16	Salman Abdul Moiz, Lakshmi Rajamani	Concurrency Control Strategy to Reduce Frequent Rollbacks in Mobile Environments.	CSE (2)	2009	DBLP DOI BibTeX RDF
16	Salman Abdul Moiz, Lakshmi Rajamani	An Efficient Strategy for Achieving Concurrency Control in Mobile Environments.	APNOMS	2009	DBLP DOI BibTeX RDF	Fixed Host, Transaction, Threshold, Rollback, Timer, Mobile Host
16	Foto N. Afrati, Phokion G. Kolaitis	Repair checking in inconsistent databases: algorithms and complexity.	ICDT	2009	DBLP DOI BibTeX RDF	coNP-complete problem, equality-generating dependencies, repair checking, tuple-generating dependencies, weakly acyclic set, polynomial time, consistent query answering, inconsistent databases, database repairs
16	Min Liu 0017, Dianfu Ma, Yongwang Zhao, Dou Sun	An Approach to Preserving Consistency of SOAs in Dynamic Evolution.	ICIW	2009	DBLP DOI BibTeX RDF
16	Matthias Großmann, Nicola Hönle, Carlos Lübbe, Harald Weinschrott	An Abstract Processing Model for the Quality of Context Data.	QuaCon	2009	DBLP DOI BibTeX RDF
16	Jiuyong Li, Raymond Chi-Wing Wong, Ada Wai-Chee Fu, Jian Pei	Anonymization by Local Recoding in Data with Attribute Hierarchical Taxonomies.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF
16	Yi Guo 0001, Junbin Gao, Paul Wing Hing Kwan	Twin Kernel Embedding.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF
16	Hadrien Cambazard, Barry O'Sullivan	Reformulating Table Constraints using Functional Dependencies - An Application to Explanation Generation.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Table constraints, Explanation generation, Functional dependencies
16	Magdalena Balazinska, Hari Balakrishnan, Samuel Madden 0001, Michael Stonebraker	Fault-tolerance in the borealis distributed stream processing system.	ACM Trans. Database Syst.	2008	DBLP DOI BibTeX RDF	fault-tolerance, consistency, availability, Distributed stream processing
16	Guoquan P. Huang 0001, Anastasios I. Mourikis, Stergios I. Roumeliotis	Analysis and improvement of the consistency of extended Kalman filter based SLAM.	ICRA	2008	DBLP DOI BibTeX RDF
16	Seung-Que Lee, Nam-Hoon Park	Wireless Access on Next Generation Broadband Internet Services.	VTC Spring	2008	DBLP DOI BibTeX RDF
16	Yuxiang Shi, Jun Yan 0009, Zhong Jie Li, Jun Zhu	Path-based verification for composition of semantic web services.	SAC	2008	DBLP DOI BibTeX RDF	web service, verification, semantic, composition