Yuan-Fang Li

Reza Haf

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

On Robustness of Prompt-based Semantic Parsing with Large Pre-trained Language Model: An Empirical Study on Codex.

[BibT_eX]

[DOI]

Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics, 2023

NormMark: A Weakly Supervised Markov Model for Socio-cultural Norm Discovery.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

CrossSum: Beyond English-Centric Cross-Lingual Summarization for 1, 500+ Language Pairs.

[BibT_eX]

[DOI]

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

DNG: Taxonomy Expansion by Exploring the Intrinsic Directed Structure on Non-gaussian Space.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Multi-level, multi-modal interactions for visual question answering over text in images.

[BibT_eX]

[DOI]

World Wide Web, 2022

KGVQL: A knowledge graph visual query language with bidirectional transformations.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2022

Benchmark construction and experimental evaluations for incoherent ontologies.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2022

Complex Reading Comprehension Through Question Decomposition.

[BibT_eX]

[DOI]

Gholamreza Haffari

CoRR, 2022

MonaGO: a novel gene ontology enrichment analysis visualisation system.

[BibT_eX]

[DOI]

BMC Bioinform., 2022

Neural Topic Modeling with Deep Mutual Information Estimation.

[BibT_eX]

[DOI]

Big Data Res., 2022

Neural Temporal Walks: Motif-Aware Representation Learning on Continuous-Time Dynamic Graphs.

[BibT_eX]

[DOI]

Ming Jin

Sarkar Snigdha Sarathi Das

Shirui Pan

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Pretrained Language Model in Continual Learning: A Comparative Study.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Learning Representations, 2022

Paraphrasing Techniques for Maritime QA system.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Information Fusion, 2022

Towards relation extraction from speech.

[BibT_eX]

[DOI]

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

Towards Open-Vocabulary Scene Graph Generation with Prompt-Based Finetuning.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2022, 2022

Teaching Neural Module Networks to Do Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Computational Linguistics, 2022

2021

Generalized pyramid co-attention with learnable aggregation net for video question answering.

[BibT_eX]

[DOI]

Pattern Recognit., 2021

Combining cross-modal knowledge transfer and semi-supervised learning for speech emotion recognition.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2021

Multimodal feature-wise co-attention method for visual question answering.

[BibT_eX]

[DOI]

Inf. Fusion, 2021

Boosting house price predictions using geo-spatial network embedding.

[BibT_eX]

[DOI]

Data Min. Knowl. Discov., 2021

CrossSum: Beyond English-Centric Cross-Lingual Abstractive Text Summarization for 1500+ Language Pairs.

[BibT_eX]

[DOI]

CoRR, 2021

An AI-based Solution for Enhancing Delivery of Digital Learning for Future Teachers.

[BibT_eX]

[DOI]

Abdur Rahim Mohammad Forkan

Prem Prakash Jayaraman

CoRR, 2021

Towards Graph Self-Supervised Learning with Contrastive Adjusted Zooming.

[BibT_eX]

[DOI]

CoRR, 2021

Unsupervised Domain-adaptive Hash for Networks.

[BibT_eX]

[DOI]

CoRR, 2021

Semi-supervised Network Embedding with Differentiable Deep Quantisation.

[BibT_eX]

[DOI]

CoRR, 2021

Semantic Compositional Learning for Low-shot Scene Graph Generation.

[BibT_eX]

[DOI]

CoRR, 2021

XL-Sum: Large-Scale Multilingual Abstractive Summarization for 44 Languages.

[BibT_eX]

[DOI]

CoRR, 2021

Temporal Cascade and Structural Modelling of EHRs for Granular Readmission Prediction.

[BibT_eX]

[DOI]

CoRR, 2021

OntoSP: Ontology-Based Semantic-Aware Partitioning on RDF Graphs.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems Engineering - WISE 2021, 2021

Code2Que: a tool for improving question titles from mined code snippets in stack overflow.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Multi-Scale Contrastive Siamese Networks for Self-Supervised Graph Representation Learning.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Key factors influencing Retail Store Expansion Decisions: Case study of combining evidence- and data- driven approach.

[BibT_eX]

[DOI]

Himanshu Pahuja

Pari Delir Haghighi

Prem Prakash Jayaraman

Proceedings of the iiWAS2021: The 23rd International Conference on Information Integration and Web Intelligence, Linz, Austria, 29 November 2021, 2021

Exploiting Scene Graphs for Human-Object Interaction Detection.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

Toward the Automated Construction of Probabilistic Knowledge Graphs for the Maritime Domain.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Information Fusion, 2021

Improving Numerical Reasoning Skills in the Modular Approach for Complex Question Answering on Text.

[BibT_eX]

[DOI]

Gholamreza Haffari

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2021, 2021

Simple or Complex? Complexity-controllable Question Generation with Soft Templates and Deep Mixture of Experts Model.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2021, 2021

ANEMONE: Graph Anomaly Detection with Multi-Scale Contrastive Learning.

[BibT_eX]

[DOI]

Proceedings of the CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1, 2021

Adaptive Knowledge-Enhanced Bayesian Meta-Learning for Few-shot Event Detection.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: ACL/IJCNLP 2021, 2021

XL-Sum: Large-Scale Multilingual Abstractive Summarization for 44 Languages.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: ACL/IJCNLP 2021, 2021

Towards Balanced Defect Prediction with Better Information Propagation.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Curriculum-Meta Learning for Order-Robust Continual Relation Extraction.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Less is more: Data-efficient complex question answering over knowledge bases.

[BibT_eX]

[DOI]

J. Web Semant., 2020

OntoPlot: A Novel Visualisation for Non-hierarchical Associations in Large Ontologies.

[BibT_eX]

[DOI]

IEEE Trans. Vis. Comput. Graph., 2020

Generating Question Titles for Stack Overflow from Mined Code Snippets.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2020

A survey on the use of access permission-based specifications for program verification.

[BibT_eX]

[DOI]

Ayesha Sadiq

Sea Ling

J. Syst. Softw., 2020

Understanding and improving ontology reasoning efficiency through learning and ranking.

[BibT_eX]

[DOI]

Wudhichart Sawangphol

Lianli Gao

Inf. Syst., 2020

A General-purpose Visual Query Language for Knowledge Graphs with Bidirectional Transformations.

[BibT_eX]

[DOI]

Qiang Fu

Xin Wang

Proceedings of the ISWC 2020 Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 19th International Semantic Web Conference (ISWC 2020), 2020

Robust Attribute and Structure Preserving Graph Embedding.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2020

Towards Generating Thread-Safe Classes Automatically.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

KnowledgeZooClient: constructing knowledge graph for Android.

[BibT_eX]

[DOI]

Tegawendé F. Bissyandé

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2020

Vocabulary Matters: A Simple yet Effective Approach to Paragraph-level Question Generation.

[BibT_eX]

[DOI]

Proceedings of the 1st Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics and the 10th International Joint Conference on Natural Language Processing, 2020

Retrieve, Program, Repeat: Complex Knowledge Base Question Answering via Alternate Meta-learning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Learning from the Scene and Borrowing from the Rich: Tackling the Long Tail in Scene Graph Generation.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Few-Shot Complex Knowledge Base Question Answering via Meta Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, 2020

Towards Meta-Reasoning for Ontologies: A Roadmap.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

MedGraph: Structural and Temporal Representation Learning of Electronic Medical Records.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Understanding Unnatural Questions Improves Reasoning over Text.

[BibT_eX]

[DOI]

Gholamreza Haffari

Proceedings of the 28th International Conference on Computational Linguistics, 2020

Knowledge-enriched, Type-constrained and Grammar-guided Question Generation over Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Computational Linguistics, 2020

Gaussian Embedding of Large-Scale Attributed Graphs.

[BibT_eX]

[DOI]

Proceedings of the Databases Theory and Applications, 2020

2019

Vector and line quantization for billion-scale similarity search on GPUs.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2019

Question Generation from Paragraphs: A Tale of Two Hierarchical Models.

[BibT_eX]

[DOI]

CoRR, 2019

One Network for Multi-Domains: Domain Adaptive Hashing with Intersectant Generative Adversarial Network.

[BibT_eX]

[DOI]

CoRR, 2019

Sip4J: Statically inferring permission-based specifications for sequential Java programs.

[BibT_eX]

[DOI]

CoRR, 2019

Difficulty-Controllable Multi-hop Question Generation from Knowledge Graphs.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2019, 2019

RobustiQ: A Robust ANN Search Method for Billion-scale Similarity Search on GPUs.

[BibT_eX]

[DOI]

Proceedings of the 2019 on International Conference on Multimedia Retrieval, 2019

Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

One Network for Multi-Domains: Domain Adaptive Hashing with Intersectant Generative Adversarial Networks.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Footprints of fitness functions in search-based software testing.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2019

ParaQG: A System for Generating Questions and Answers from Paragraphs.

[BibT_eX]

[DOI]

Vishwajeet Kumar

Sivaanandh Muneeswaran

Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing, 2019

Putting the Horse before the Cart: A Generator-Evaluator Framework for Question Generation from Text.

[BibT_eX]

[DOI]

Vishwajeet Kumar

Proceedings of the 23rd Conference on Computational Natural Language Learning, 2019

Structured Two-Stream Attention Network for Video Question Answering.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Predicting Reasoner Performance on ABox Intensive OWL 2 EL Ontologies.

[BibT_eX]

[DOI]

Martin J. Kollingbaum

Eduardo Mena

Int. J. Semantic Web Inf. Syst., 2018

A framework for automatic question generation from text using deep reinforcement learning.

[BibT_eX]

[DOI]

Vishwajeet Kumar

CoRR, 2018

Automating Reading Comprehension by Generating Question and Answer Pairs.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2018

2017

MDS-based Visual Survey of Biological Data Visualization Techniques.

[BibT_eX]

[DOI]

Proceedings of the 19th Eurographics Conference on Visualization, 2017

Using Knowledge Graphs to Explain Entity Co-occurrence in Twitter.

[BibT_eX]

[DOI]

Yiwei Wang

Mark James Carman

Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, 2017

An Information-Theoretic Predictive Model for the Accuracy of AI Agents Adapted from Psychometrics.

[BibT_eX]

[DOI]

Proceedings of the Artificial General Intelligence - 10th International Conference, 2017

2016

Predicting Energy Consumption of Ontology Reasoning over Mobile Devices.

[BibT_eX]

[DOI]

Isa Guclu

Jeff Z. Pan

Martin J. Kollingbaum

Proceedings of the Semantic Web - ISWC 2016, 2016

Explicit Query Interpretation and Diversification for Context-Driven Concept Search Across Ontologies.

[BibT_eX]

[DOI]

Chetana Gavankar

Proceedings of the Semantic Web - ISWC 2016, 2016

How Can Reasoner Performance of ABox Intensive Ontologies Be Predicted?

[BibT_eX]

[DOI]

Isa Guclu

Carlos Bobed

Jeff Z. Pan

Martin J. Kollingbaum

Proceedings of the Semantic Technology - 6th Joint International Conference, 2016

Extracting Permission-Based Specifications from a Sequential Java Program.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

Factors of Collective Intelligence: How Smart Are Agent Collectives?

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

BOWL: augmenting the Semantic Web with beliefs.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2015

GraSS: An Efficient Method for RDF Subgraph Matching.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems Engineering - WISE 2015, 2015

Event and Strategy Analytics.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

R2O2: An Efficient Ranking-Based Reasoner for OWL Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2015, 2015

Capturing Researcher Expertise through MeSH Classification.

[BibT_eX]

[DOI]

Ross L. Coppel

Proceedings of the 8th International Conference on Knowledge Capture, 2015

Context-driven Concept Search across Web Ontologies using Keyword Queries.

[BibT_eX]

[DOI]

Chetana Gavankar

Proceedings of the 8th International Conference on Knowledge Capture, 2015

FFD-Index: An Efficient Indexing Scheme for Star Subgraph Matching on Large RDF Graphs.

[BibT_eX]

[DOI]

Proceedings of the Database Systems for Advanced Applications, 2015

Observation, Communication and Intelligence in Agent-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Artificial General Intelligence, 2015

Analyzing the Evolution of Ontology Versioning Using Metrics.

[BibT_eX]

[DOI]

Proceedings of the 12th Web Information System and Application Conference, 2015

2014

Two decades of Web application testing - A survey of recent advances.

[BibT_eX]

[DOI]

Paramjit K. Das

David L. Dowe

Inf. Syst., 2014

The Ubiquitous Semantic Web: Promises, Progress and Challenges.

[BibT_eX]

[DOI]

Int. J. Semantic Web Inf. Syst., 2014

The mobile semantic web.

[BibT_eX]

[DOI]

Proceedings of the 23rd International World Wide Web Conference, 2014

Event Analytics.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

A Meta-reasoner to Rule Them All: Automated Selection of OWL Reasoners Based on Efficiency.

[BibT_eX]

[DOI]

Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 2014

How Long Will It Take? Accurate Prediction of Ontology Reasoning Performance.

[BibT_eX]

[DOI]

Jeff Z. Pan

Wudhichart Sawangphol

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Towards a Consistent Feature Model using OWL.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web Enabled Software Engineering, 2014

2013

An ontology-centric architecture for extensible scientific data management systems.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2013

Enriching Concept Search across Semantic Web Ontologies.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

Visualization of Large Ontologies with Landmarks.

[BibT_eX]

Proceedings of the GRAPP & IVAPP 2013: Proceedings of the International Conference on Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications, 2013

2012

Knowledge Enrichment Analysis for Human Tissue-Specific Genes Uncover New Biological Insights.

[BibT_eX]

[DOI]

J. Integr. Bioinform., 2012

Predicting Reasoning Performance Using Ontology Metrics.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2012, 2012

A Rigorous Characterization of Classification Performance - A Tale of Four Reasoners.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), 2012

2011

Using Semantic Web Technologies to Build a Community-Driven Knowledge Curation Platform for the Skeletal Dysplasia Domain.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2011, 2011

Integrating software engineering data using semantic web technologies.

[BibT_eX]

[DOI]

Hongyu Zhang

Proceedings of the 8th International Working Conference on Mining Software Repositories, 2011

2010

Measuring design complexity of semantic web ontologies.

[BibT_eX]

[DOI]

Hongyu Zhang

Hee Beng Kuan Tan

J. Syst. Softw., 2010

Discovering Anomalies in Semantic Web Rules.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

PODD: An Ontology-Driven Data Repository for Collaborative Phenomics Research.

[BibT_eX]

[DOI]

Proceedings of the Role of Digital Libraries in a Time of Global Change, 2010

PODD - Towards an Extensible, Domain-Agnostic Scientific Data Management System.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on e-Science, 2010

2009

Verifying Semistructured Data Normalization Using SWRL.

[BibT_eX]

[DOI]

Proceedings of the TASE 2009, 2009

2008

Enhancing Semantic Web Services with Inheritance.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

Scalable Semantics - The Silver Lining of Cloud Computing.

[BibT_eX]

[DOI]

Andrew F. Newman

Jane Hunter

Proceedings of the Fourth International Conference on e-Science, 2008

Correctness Criteria for Normalization of Semistructured Data.

[BibT_eX]

[DOI]

Proceedings of the 19th Australian Software Engineering Conference (ASWEC 2008), 2008

2007

Verifying feature models using OWL.

[BibT_eX]

[DOI]

J. Web Semant., 2007

Transitioning Applications to Semantic Web Services: An Automated Formal Approach.

[BibT_eX]

[DOI]

Int. J. Interoperability Bus. Inf. Syst., 2007

Belief-augmented OWL (BOWL) Engineering the SemanticWeb with Beliefs.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Towards Verifying Semistructured Data.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modelling 2007, Proceedings of the Fourth Asia-Pacific Conference on Conceptual Modelling (APCCM2007), Ballarat, Victoria, Australia, January 30, 2007

2006

Reasoning About ORA-SS Data Models Using the Semantic Web.

[BibT_eX]

[DOI]

J. Data Semant., 2006

Validating Semistructured Data Using OWL.

[BibT_eX]

[DOI]

Proceedings of the Advances in Web-Age Information Management, 2006

Research into Verifying Semistructured Data.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Internet Technology, 2006

Semantic Web Languages - Towards an Institutional Perspective.

[BibT_eX]

[DOI]

Dorel Lucanu

Proceedings of the Algebra, Meaning, and Computation, 2006

2005

A Z Approach in Validating ORA-SS Data Models.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Software Verification and Validation, 2005

Verify Feature Models using protegeowl.

[BibT_eX]

[DOI]

Proceedings of the 14th international conference on World Wide Web, 2005

Soundness proof of Z semantics of OWL using institutions.

[BibT_eX]

[DOI]

Dorel Lucanu

Proceedings of the 14th international conference on World Wide Web, 2005

TCOZ Approach to OWL-S Process Model Design.

[BibT_eX]

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Institution Morphisms for Relating OWL and Z.

[BibT_eX]

Dorel Lucanu

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Visualizing and Simulating Semantic Web Services Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2005

Formal Semantics and Verification for Feature Modeling.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

A Tools Environment for Developing and Reasoning about Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2004

TCOZ approach to semantic web services design.

[BibT_eX]

[DOI]

Hai H. Wang

Proceedings of the 13th international conference on World Wide Web, 2004

A combined approach to checking web ontologies.

[BibT_eX]

[DOI]

Proceedings of the 13th international conference on World Wide Web, 2004

Verifying OWL and ORL Ontologies in PVS.

[BibT_eX]

[DOI]

Yuzhang Feng