If you made any changes in Pure these will be visible here soon.

Research Output 2002 2018

Filter
Conference Paper
2017

An information-theoretic predictive model for the accuracy of AI agents adapted from psychometrics

Chmait, N., Dowe, D. L., Li, Y-F. & Green, D. G., 2017, Artificial General Intelligence : 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15–18, 2017, Proceedings. Everitt, T., Potapov, A. & Goertzel, B. (eds.). Cham, Switzerland: Springer-Verlag London Ltd., p. 225-236 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10414 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Extracting permission-based specifications from a sequential Java program

Sadiq, A., Li, Y-F., Ling, S. & Ahmad, I., 12 Jan 2017, 21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016): Dubai, United Arab Emirates, 6-8 November 2016, Proceedings. Wang, H. & Mokhtari, M. (eds.). Los Alamitos, CA: IEEE Computer Society, p. 215-218 4 p. 7816590

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Using knowledge graphs to explain entity co-occurrence in Twitter

Wang, Y., Carman, M. J. & Li, Y. F., 6 Nov 2017, CIKM'17: Proceedings of the 2017 ACM Conference on Information and Knowledge Management. Sanderson, M., Fu, A., Sun, J., Culpepper, S., Lo, E., Ho, J., Donato, D., Agrawal, R., Zheng, Y., Castillo, C., Sun, A., Tseng, V. S. & Li, C. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 2351-2354 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearch

2016

Analyzing the evolution of ontology versioning using metrics

Li, Z., Feng, Z., Wang, X., Li, Y. F. & Rao, G., 1 Feb 2016, 2015 12th Web Information System and Application Conference (WISA 2015): Jinan, China 11-13 September, 2015. Xu, L. & Tang, Y. (eds.). Piscataway, NJ: IEEE, Institute of Electrical and Electronics Engineers, p. 112-115 4 p. 7396618

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Explicit query interpretation and diversification for context-driven concept search across ontologies

Gavankar, C., Li, Y-F. & Ramakrishnan, G., 2016, The Semantic Web - ISWC 2016: 15th International Semantic Web Conference, Kobe, Japan, October 17–21, 2016, Proceedings, Part I. Groth, P., Simperl, E., Gray, A., Sabou, M., Krötzsch, M., Lecue, F., Flöck, F. & Gil, Y. (eds.). Cham Switzerland: Springer, p. 271-288 18 p. (Lecture Notes in Computer Science; vol. 9981).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Factors of collective intelligence: How smart are agent collectives?

Chmait, N., Dowe, D. L., Li, Y-F., Green, D. G. & Insa-Cabrera, J., 2016, ECAI 2016, 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, Including, Prestigious Applications of Artificial Intellence (PAIS 2016): Proceedings : Part 1/Part 2. Kaminka, G. A., Fox, M., Bouquet, P., Hullemeier, E., Dignum, V., Dignum, F. & Harmelen, F. V. (eds.). Netherlands: IOS Press, p. 542-550 9 p. (Frontiers in Artificial Intelligence and Applications; vol. 285).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Predicting energy consumption of ontology reasoning over mobile devices

Guclu, I., Li, Y-F., Pan, J. Z. & Kollingbaum, M. J., 2016, The Semantic Web - ISWC 2016: 15th International Semantic Web Conference, Kobe, Japan, October 17–21, 2016, Proceedings, Part I. Groth, P., Simperl, E., Gray, A., Sabou, M., Kroetzsch, M., Lecue, F., Floeck, F. & Gil, Y. (eds.). Cham, Switzerland: Springer, p. 289-304 16 p. (Lecture Notes in Computer Science; vol. 9981).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2015

Capturing researcher expertise through MeSH classification

Kang, Y-B., Li, Y-F. & Coppel, R. L., 2015, Proceedings of the 8th International Conference on Knowledge Capture (K-CAP 2015). Gomez-Perez, J. M. (ed.). New York NY USA: Association for Computing Machinery (ACM), 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Context-driven concept search across web ontologies using keyword queries

Gavankar, C., Li, Y-F. & Ramakrishnan, G., 2015, Proceedings of the 8th International Conference on Knowledge Capture (K-CAP 2015): Palisades, NY, USA -- October 07 - 10, 2015. Gomez-Perez, J. M. (ed.). New York, NY: Association for Computing Machinery (ACM), 4 p. 20

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Grass: An efficient method for RDF subgraph matching

Lyu, X., Wang, X., Li, Y-F., Feng, Z. & Wang, J., 2015, Web Information Systems Engineering - WISE 2015: 16th International Conference, Proceedings, Part I. Wang, J., Cellary, W., Wang, D., Wang, H., Chen, S-C., Li, T. & Zhang, Y. (eds.). Cham Switzerland: Springer, Vol. 9418. p. 108-122 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9418).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Observation, communication and intelligence in agent-based systems

Chmait, N., Dowe, D. L., Green, D. G. & Li, Y-F., 2015, Artificial General Intelligence: 8th International Conference, AGI 2015. Bieger, J., Goertzel, B. & Potapov, A. (eds.). Cham Switzerland: Springer, p. 50-59 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

R2O2: An efficient ranking-based reasoner for OWL ontologies

Kang, Y-B., Krishnaswamy, S. & Li, Y-F., 2015, The Semantic Web - ISWC 2015. Arenas, M., Corcho, O., Simperl, E., Strohmaier, M., d'Aquin, M., Srinivas, K., Groth, P., Dumontier, M., Heflin, J., Thirunarayan, K. & Staab, S. (eds.). Cham Switzerland: Springer, Vol. 9366. p. 322-338 17 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2014

A meta-reasoner to rule them all: Automated selection of OWL reasoners based on efficiency

Kang, Y-B., Krishnaswamy, S. & Li, Y-F., 2014, Proceedings of the 23rd ACM International Conference on Information and Knowledge Management (CIKM'14). Garofalakis, M., Soboroff, I., Suel, T. & Wang, M. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 1935-1938 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

How long will it take? Accurate prediction of ontology reasoning performance

Kang, Y-B., Pan, J. Z., Krishnaswamy, S., Sawangphol, W. & Li, Y-F., 2014, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence. Brodley, C. E. & Stone, P. (eds.). Palo Alto CA USA: The AAAI Press, p. 80-86 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2013

Enriching concept search across semantic web ontologies

Gavankar, C., Kumar, V., Li, Y. F. & Ramakrishnan, G., 2013, Proceedings of the ISWC 2013 Posters & Demonstrations Track a track within the 12th International Semantic Web Conference (ISWC 2013): Sydney, Australia, October 23, 2013. Blomqvist, E. & Groza, T. (eds.). CEUR Workshop Proceedings, p. 93-96 4 p. (CEUR Workshop Proceedings; vol. 1035).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearch

Open Access
File

Visualization of large ontologies with landmarks

Jiao, Z. L., Liu, Q., Li, Y. F., Marriott, K. & Wybrow, M., 2013, GRAPP 2013 IVAPP 2013 - Proceedings of the International Conference on Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications: Barcelona, Spain, 21-24 February, 2013. Braz, J., Coquillart, S., Andujar, C., Laramee, R. S. & Kerren, A. (eds.). Portugal: SciTePress - Science and Technology Publications, p. 461-470 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearch

2012

A rigorous characterization of classification performance: A tale of four reasoners

Kang, Y. B., Li, Y. F. & Krishnaswamy, S., 2012, Proceedings of the OWL Reasoner Evaluation Workshop (ORE 2012): Collocated with IJCAR 2012 Conference, July 1st, Manchester,UK. Horrocks, I., Yatskevich, M. & Jimenez-Ruiz, E. (eds.). CEUR Workshop Proceedings, 12 p. (CEUR Workshop Proceedings; vol. 858).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearch

Predicting reasoning performance using ontology metrics

Kang, Y. B., Li, Y-F. & Krishnaswamy, S., 2012, The Semantic Web - ISWC 2012: 11th International Semantic Web Conference, Proceedings Part I. Cudre-Mauroux, P., Heflin, J., Sirin, E., Tudorache, T., Euzenat, J., Hauswirth, M., Parreira, J. X., Hendler, J., Schreiber, G. & Bernstein, A. (eds.). Berlin Germany: Springer-Verlag London Ltd., Vol. 7649. p. 198 - 214 17 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2011

Integrating software engineering data using semantic web technologies

Li, Y-F. & Zhang, H., 2011, Proceedings of the 8th Working Conference on Mining Software Repositories. van Deursen, A., Xie, T. & Zimmermann, T. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 211-214 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Using semantic web technologies to build a community-driven knowledge curation platform for the skeletal dysplasia domain

Groza, T., Zankl, A., Li, Y-F. & Hunter, J., 2011, Proceedings of the 10th International Semantic Web Conference, Part II. Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N. & Blomqvist, E. (eds.). Berlin Germany: Springer-Verlag London Ltd., p. 81-96 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2010

Discovering anomalies in semantic web rules

Feng, Y., Liu, Y., Li, Y-F. & Zhang, D., 2010, Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement. Madipadaga, R. K., Sun, J. & Xu, D. (eds.). Los Alamitos CA USA: IEEE, Institute of Electrical and Electronics Engineers, p. 33 - 42 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

PODD: An ontology-driven data repository for collaborative phenomics research

Li, Y-F., Kennedy, G., Davies, F. & Hunter, J., 2010, Proceedings of the 12th International Conference on Asia-Pacific Digital Libraries. Chowdhury, G., Koo, C. & Hunter, J. (eds.). Berlin Germany: Springer-Verlag London Ltd., Vol. 6102. p. 179 - 188 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

PODD - Towards an extensible, domain-agnostic scientific data management system

Li, Y-F., Kennedy, G., Davies, F. & Hunter, J., 2010, Proceedings of the 2010 Sixth IEEE International Conference on e-Science. Abramson, D. (ed.). Los Alamitos CA USA: IEEE, Institute of Electrical and Electronics Engineers, p. 137 - 144 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2009

Verifying semistructured data normalization using SWRL

Li, Y-F., Sun, J., Dobbie, G., Lee, S. & Wang, H., 2009, Proceedings of the Third IEEE International Symposium on Theoretical Aspects of Software Engineering. Chin, W-N. & Qin, S. (eds.). Los Alamitos CA USA: IEEE, Institute of Electrical and Electronics Engineers, p. 193 - 200 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2008

Correctness criteria for normalization of semistructured data

Lee, S., Sun, J., Dobbie, G., Groves, L. & Li, Y-F., 2008, Proceedings of the 19th Australian Software Engineering Conference. Hussain, F. K. & Chang, E. (eds.). Los Alamitos CA USA: IEEE, Institute of Electrical and Electronics Engineers, p. 248 - 257 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Enhancing semantic web services with inheritance

Ferndriger, S., Bernstrein, A., Dong, J., Feng, Y., Li, Y-F. & Hunter, J., 2008, Proceedings of the 7th International Semantic Web Conference. Sheth, A., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T. & Thirunarayan, K. (eds.). Berlin Germany: Springer-Verlag London Ltd., Vol. 5318. p. 162 - 177 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Scalable semantics - The silver lining of cloud computing

Newman, A., Li, Y-F. & Hunter, J., 2008, Proceedings of the Fourth IEEE International Conference on eScience. Trefethen, A. & Wallom, D. (eds.). Los Alamitos CA USA: IEEE, Institute of Electrical and Electronics Engineers, p. 111 - 118 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2007

Belief-augmented OWL (BOWL) - Engineering the semantic web with beliefs

Feng, Y., Li, Y-F., Tan, C., Wadhwa, B. & Wang, H., 2007, 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007): Proceedings. Dong, J. S. & Sun, J. (eds.). Los Alamitos CA USA: IEEE Computer Society, p. 165 - 174 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2006

A Z approach in validating ORA-SS data models

Lee, S. U-J., Sun, J., Dobbie, G. & Li, Y-F., 2006, Electronic Notes in Theoretical Computer Science [P]. Mukhopadhyay, S., Roychoudhury, A. & Yang, Z. (eds.). Amsterdam Netherlands: Elsevier, p. 95 - 109 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Research into verifying semistructured data

Dobbie, G., Sun, J., Li, Y-F. & Lee, S. UK-J., 2006, Proceedings of the Third International Conference on Distributed Computing and Internet Technology. Madria, S. K., Claypool, K. T., Kannan, R., Uppuluri, P. & Gore, M. M. (eds.). Berlin Germany: Springer-Verlag London Ltd., p. 361 - 374 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Validating semistructured data using OWL

Li, Y-F., Sun, J., Dobbie, G., Sun, J. & Wang, H. H., 2006, Proceedings of the 7th International Conference on Advances in Web-Age Information Management. Xu Yu, J., Kitsuregawa, M. & Va Leong, H. (eds.). Berlin Germany: Springer-Verlag London Ltd., Vol. 4016. p. 520 - 531 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2005

A tools environment for developing and reasoning about ontologies

Dong, J. S., Feng, Y., Li, Y-F. & Sun, J., 2005, Proceedings of the 12th Asia-Pacific Software Engineering Conference. Lee, J., Chu, W. C-C. & Jalote, P. (eds.). Los Alamitos CA USA: IEEE Computer Society, p. 465 - 472 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Formal semantics and verification for feature modeling

Sun, J., Zhang, H., Li, Y-F. & Wang, H., 2005, 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005): Proceedings. Liu, S. & Woodcock, J. (eds.). Los Alamitos CA USA: IEEE Computer Society, p. 303 - 312 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Institution morphisms for relating OWL and Z

Lucanu, D., Li, Y. F. & Dong, J. S., 1 Dec 2005, 17th International Conference on Software Engineering and Knowledge Engineering, SEKE 2005. p. 286-291 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Soundness proof of Z semantics of OWL using institutions

Lucanu, D., Li, Y-F. & Dong, J. S., 2005, Proceedings of the Special Interest Tracks and Posters of the 14th International World Wide Web Conference. Douglis, F. & Raghavan, P. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 1048 - 1049 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

TCOZ approach to OWL-s process model design

Wang, H., Sun, J., Dong, J. S. & Li, Y. F., 1 Dec 2005, 17th International Conference on Software Engineering and Knowledge Engineering, SEKE 2005. p. 354-359 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Verify feature models using Protege-OWL

Wang, H., Li, Y-F., Sun, J. & Zhang, H., 2005, Proceedings of the Special Interest Tracks and Posters of the International World Wide Web Conference. Douglis, F. & Raghavan, P. (eds.). New York NY USA: Association of Computing Machinery, p. 1038 - 1039 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Verifying OWL and ORL ontologies in PVS

Dong, J. S., Feng, Y. & Li, Y-F., 2005, Proceedings of the First International Colloquium on Theoretical Aspects of Computing. Liu, Z. & Araki, K. (eds.). Berlin Germany: Springer-Verlag London Ltd., Vol. 3407. p. 265 - 279 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Visualizing and simulating semantic web services ontologies

Sun, J., Li, Y-F., Wang, H. H. & Sun, J., 2005, Proceedings of the 7th International Conference on Formal Engineering Methods. Lau, K-K. & Banach, R. (eds.). Berlin Germany: Springer-Verlag London Ltd., Vol. 3785. p. 435 - 449 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2004

A combined approach to checking web ontologies

Dong, J. S., Lee, C., Lee, H., Li, Y-F. & Wang, H., 2004, Proceedings of the 13th International Conference on World Wide Web. Najork, M. & Wills, C. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 714 - 722 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

TCOZ approach to semantic web services design

Dong, J. S., Li, Y-F. & Wang, H., 19 May 2004, Proceedings of the 13th International Conference on World Wide Web. Najork, M. & Wills, C. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 442-443 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Verifying DAML+OIL and beyond in Z/EVES

Dong, J. S., Lee, C. H., Li, Y-F. & Wang, H., 2004, Proceedings of the 26th International Conference on Software Engineering. Estublier, J. & Rosenblum, D. S. (eds.). Washington DC USA: IEEE Computer Society, p. 201 - 210 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2002

XML-based static type checking and dynamic visualization for TCOZ

Dong, J. S., Li, Y-F., Sun, J., Sun, J. & Wang, H., 2002, Proceedings of the 4th International Conference on Formal Engineering Methods. George, C. & Miao, H. (eds.). Berlin Germany: Springer-Verlag London Ltd., Vol. 2495. p. 311 - 322 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review