Find Research Outputs

Search concepts
Selected filters
2020

Rethinking Defeasible Reasoning: A Scalable Approach

Maher, M. J., Tachmazidis, I., Antoniou, G., Wade, S. & Cheng, L., 6 Jan 2020, (Accepted/In press) In : Theory and Practice of Logic Programming.

Research output: Contribution to journalArticle

Scalability
Reasoning
Logic
Sensor networks
Decision making
2019

Automatic Diagnosis of Attention Deficit Hyperactivity Disorder Using Machine Learning

Chen, T., Antoniou, G., Adamou, M., Tachmazidis, I. & Su, P., 27 Dec 2019, (Accepted/In press) In : Applied Artificial Intelligence.

Research output: Contribution to journalArticle

Learning systems
Health
Public health
Accidents

Decision Support Systems and Artificial Intelligence in Supply Chain Risk Management

Baryannis, G., Dani, S., Validi, S. & Antoniou, G., Jan 2019, Revisiting Supply Chain Risk. Zsidisin, G. A. & Henke, M. (eds.). Springer, Cham, (Springer Series in Supply Chain Management; vol. 7).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Traffic signals
traffic
Planning
Autonomous agents
planning
3 Citations (Scopus)

Large scale distributed spatio-temporal reasoning using real-world knowledge graphs

Mantle, M., Batsakis, S. & Antoniou, G., 1 Jan 2019, In : Knowledge-Based Systems. 163, p. 214-226 13 p.

Research output: Contribution to journalArticle

Open Access
File
Electric sparks
Graph

Maximising goals achievement through abstract argumentation frameworks: An optimal approach

Cohen, A., Gottifredi, S., Vallati, M., García, A. & Antoniou, G., 6 Sep 2019, In : Expert Systems with Applications. 141, p. 1-12 12 p., 112930.

Research output: Contribution to journalArticle

Recommender systems
Intelligent systems
Decision support systems
Expert systems
Labeling
2 Citations (Scopus)
Supply chains
Learning systems
Artificial intelligence
Supply chain management
Risk management
16 Citations (Scopus)
Open Access
File
Supply chain management
Risk management
Artificial intelligence
Supply chains
Mathematical programming
2 Citations (Scopus)

Toward Automatic Risk Assessment to Support Suicide Prevention

Adamou, M., Antoniou, G., Greasidou, E., Lagani, V., Charonyktakis, P., Tsamardinos, I. & Doyle, M., Jul 2019, In : Crisis. 40, 4, p. 249-256 8 p.

Research output: Contribution to journalArticle

Open Access
File
Suicide
Referral and Consultation
Data Mining
Artificial Intelligence
National Health Programs
2018

A Survey of Large-Scale Reasoning on the Web of Data

Antoniou, G., Batsakis, S., Mutharaju, R., Pan, J. Z., Qi, G., Tachmazidis, I., Urbani, J. & Zhou, Z., 31 Oct 2018, In : Knowledge Engineering Review. 33, p. 1-43 43 p., e21.

Research output: Contribution to journalReview article

Open Access
File
Parallel algorithms
Ontology
Sensor networks
Computer systems
Experiments
2 Citations (Scopus)

A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming

Baryannis, G., Tachmazidis, I., Batsakis, S., Antoniou, G., Alviano, M., Sellis, T. & Tsai, P. W., 1 Jul 2018, In : Theory and Practice of Logic Programming. 18, 3-4, p. 355-371 17 p.

Research output: Contribution to journalArticle

Open Access
File
Qualitative Spatial Reasoning
Answer Set Programming
Calculus
Trajectories
Trajectory
2 Citations (Scopus)

Effective Diagnosis of Diabetes with a Decision Tree-initialised Neuro-Fuzzy Approach

Chen, T., Shang, C., Su, P., Antoniou, G. & Shen, Q., 12 Aug 2018, Advances in Computational Intelligence Systems: Contributions Presented at the 18th UK Workshop on Computational Intelligence. Lotfi, A., Bouchachia, H., Gegov, A., Langensiepen, C. & McGinnity, M. (eds.). Springer, Cham, p. 227-239 13 p. (Advances in Intelligent Systems and Computing).

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

Open Access
File
Medical problems
Decision trees
Fuzzy rules
Hazards
Health

Legal Reasoning and Big Data: Opportunities and Challenges

Antoniou, G., Baryannis, G., Batsakis, S., Governatori, G., Robaldo, L., Siragusa, G. & Tachmazidis, I., 30 Aug 2018, Proceedings of the MIREL 2018 workshop on MIning and REasoning with Legal texts. EasyChair, p. 1-15 15 p. 470

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

Open Access
File
Knowledge representation
Data storage equipment
Big data
Industry
1 Citation (Scopus)

Legal Representation and Reasoning in Practice: A Critical Comparison

Batsakis, S., Baryannis, G., Governatori, G., Tachmazidis, I. & Antoniou, G., 2018, Legal Knowledge and Information - JURIX 2018: 31st Annual Conference. Palmirani, M. (ed.). IOS Press, p. 31-40 10 p. (Frontiers in Artificial Intelligence and Applications; vol. 313).

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

Open Access
File
argumentation
programming
semantics
efficiency

Mining Free-Text Medical Notes for Suicide Risk Assessment

Adamou, M., Antoniou, G., Greasidou, E., Lagani, V., Charonyktakis, P. & Tsamardinos, I., 9 Jul 2018, Proceedings - 10th Hellenic Conference on Artificial Intelligence, SETN 2018. New York, New York, USA: Association for Computing Machinery (ACM), 8 p. 47

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

Risk assessment
Learning systems
Public health
Health

Optimizing a Semantically Enriched Hypercat-Enabled Internet of Things Data Hub (Short Paper)

Tachmazidis, I., Batsakis, S., Davies, J., Duke, A., Antoniou, G. & Clarke, S. S., Oct 2018, In : CEUR Workshop Proceedings. 2213, p. 64-71 8 p.

Research output: Contribution to journalConference article

Open Access
Access control
Interoperability
Sensor networks
Internet of things
2017
6 Citations (Scopus)

A Hypercat-Enabled Semantic Internet of Things Data Hub

Tachmazidis, I., Batsakis, S., Davies, J., Duke, A., Vallati, M., Antoniou, G. & Clarke, S. S., 2017, The Semantic Web - 14th International Conference, ESWC 2017, Proceedings. Springer Verlag, Vol. 10250 LNCS. p. 125-137 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10250 LNCS).

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

Internet of Things
SPARQL
Semantics
Query
Semantic Web
3 Citations (Scopus)

Applying SPARQL-based inference and ontologies for modelling and execution of clinical practice guidelines: A case study on hypertension management

Doulaverakis, C., Koutkias, V., Antoniou, G. & Kompatsiaris, I., 1 Jan 2017, Knowledge Representation for Health Care - HEC 2016 International Joint Workshop, KR4HC/ProHealth 2016, Revised Selected Papers. Springer Verlag, p. 90-107 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10096 LNAI).

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

SPARQL
Hypertension
Ontology
Modeling
Semantic Web

A semantically enriched Hypercat-enabled internet of things data hub

Tachmazidis, I., Davies, J., Batsakis, S., Duke, A., Antoniou, G. & Clarke, S. S., 1 Jan 2017, In : CEUR Workshop Proceedings. 1963

Research output: Contribution to journalConference article

Semantic Web
Interoperability
Sensor networks
Semantics
Internet of things
17 Citations (Scopus)

Design and evaluation of small-large outer joins in cloud computing environments

Cheng, L., Tachmazidis, I., Kotoulas, S. & Antoniou, G., Dec 2017, In : Journal of Parallel and Distributed Computing. 110, p. 2-15 14 p.

Research output: Contribution to journalArticle

Open Access
Cloud computing
Cloud Computing
Join
Evaluation
Redistribution
1 Citation (Scopus)

Large Scale Reasoning Using Allen's Interval Algebra

Mantle, M., Batsakis, S. & Antoniou, G., 2 Aug 2017, Advances in Soft Computing: 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23–28, 2016, Proceedings, Part II. Pichardo-Lagunas, O. & Miranda-Jiménez, S. (eds.). Springer, Cham, p. 29-41 13 p. (Lecture Notes in Computer Science; vol. 10062).

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

Open Access
Algebra
Electric sparks
Processing
Experiments
2 Citations (Scopus)

Representing Time and Space for the Semantic Web

Batsakis, S., Tachmazidis, I. & Antoniou, G., 23 Jun 2017, In : International Journal on Artificial Intelligence Tools. 26, 03, 30 p., 1750015.

Research output: Contribution to journalArticle

Open Access
Semantic Web
Ontology
13 Citations (Scopus)

Temporal Representation and Reasoning in OWL 2

Batsakis, S., Petrakis, E. G. M., Tachmazidis, I. & Antoniou, G., 7 Aug 2017, In : Semantic Web. 8, 6, p. 981-1000 20 p.

Research output: Contribution to journalArticle

Open Access
Semantic Web
Knowledge representation
Ontology
Acoustic waves
2016
8 Citations (Scopus)

Hypercat RDF: Semantic enrichment for IoT

Tachmazidis, I., Davies, J., Batsakis, S., Antoniou, G., Duke, A. & Clarke, S. S., 2016, Semantic Technology - 6th Joint International Conference, JIST 2016, Revised Selected Papers. Springer Verlag, Vol. 10055 LNCS. p. 273-286 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10055 LNCS).

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

Internet of Things
Semantics
Specification
Semantic Search
Hypermedia

Preface

Antoniou, G., Li, Y. F., Hu, W., Dong, J. S., Wang, Z., Sun, J. & Liu, Y., 1 Jan 2016, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10055 LNCS

Research output: Contribution to journalEditorial

6 Citations (Scopus)

Rule-based real-time ADL recognition in a smart home environment

Baryannis, G., Woznowski, P. & Antoniou, G., 28 Jun 2016, Rule Technologies: Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Proceedings. Springer Verlag, Vol. 9718. p. 325-340 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9718).

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

Smart Home
Real-time
Sensor
Rule-based Systems
Sensors
2015
5 Citations (Scopus)

Data quality assessment and anomaly detection via map/reduce and linked data: A case study in the medical domain

Bonner, S., McGough, A. S., Kureshi, I., Brennan, J., Theodoropoulos, G., Moss, L., Corsar, D. & Antoniou, G., 22 Dec 2015, Proceedings - 2015 IEEE International Conference on Big Data, IEEE Big Data 2015. Institute of Electrical and Electronics Engineers Inc., p. 737-746 10 p. 7363818

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

Semantic Web
Patient monitoring
Joining
7 Citations (Scopus)

Exploiting parallelism for hard problems in abstract argumentation

Cerutti, F., Tachmazidis, I., Vallati, M., Batsakis, S., Giacomin, M. & Antoniou, G., 1 Jun 2015, Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015. AI Access Foundation, Vol. 2. p. 1475-1481 7 p.

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

Logic programming
Semantics

Extended RDF: Computability and complexity issues

Analyti, A., Damásio, C. V. & Antoniou, G., 1 Dec 2015, In : Annals of Mathematics and Artificial Intelligence. 75, 3-4, p. 267-334 68 p.

Research output: Contribution to journalArticle

Computability
Semantics
Stable Models
Ontology
Computability and decidability
1 Citation (Scopus)

ICurate: A Research Data Management System

Liang, S., Holmes, V., Antoniou, G. & Higgins, J., 29 Nov 2015, Multi-disciplinary Trends in Artificial Intelligence: 9th International Workshop, MIWAI 2015, Proceedings. Bikakis, A. & Zheng, X. (eds.). Springer Verlag, p. 39-47 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9426).

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

Open Access
Data Management
Information management
Metadata
Semantic Annotation
Semantics
5 Citations (Scopus)

Integrated Representation of Temporal Intervals and Durations for the Semantic Web

Batsakis, S., Antoniou, G. & Tachmazidis, I., 2015, New Trends in Database and Inf. Systems II - Selected Papers of the 18th East European Conference on Advances in Databases and Information Systems and Associated Satellite Events, ADBIS 2014, Proc. II. Springer Verlag, Vol. 312. p. 147-158 12 p. (Advances in Intelligent Systems and Computing; vol. 312).

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

Semantic Web
Ontology
Semantics
Decomposition
78 Citations (Scopus)

Ontology evolution: A process-centric survey

Zablith, F., Antoniou, G., D'Aquin, M., Flouris, G., Kondylakis, H., Motta, E., Plexousakis, D. & Sabou, M., 1 Jan 2015, In : Knowledge Engineering Review. 30, 1, p. 45-75 31 p.

Research output: Contribution to journalReview article

Ontology
Semantic Web
Information systems
Processing
1 Citation (Scopus)

Reasoning over Spatial Orientation Relations Using Rules

Batsakis, S., Antoniou, G. & Tachmazidis, I., 2015, New Trends in Database and Inf. Systems II - Selected Papers of the 18th East European Conference on Advances in Databases and Information Systems and Associated Satellite Events, ADBIS 2014, Proc. II. Springer Verlag, Vol. 312. p. 123-134 12 p. (Advances in Intelligent Systems and Computing; vol. 312).

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

Ontology
Semantic Web
Cones
Semantics
1 Citation (Scopus)

Representing time for the semantic web

Batsakis, S., Tachmazidis, I. & Antoniou, G., 2015, Multi-disciplinary Trends in Artificial Intelligence - 9th International Workshop, MIWAI 2015, Proceedings. Springer Verlag, Vol. 9426. p. 3-15 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9426).

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

Semantic Web
Ontology
Reasoning
Interval
Experimental Results
2014
8 Citations (Scopus)

Efficient computation of the well-founded semantics over big data

Tachmazidis, I., Antoniou, G. & Faber, W., 2014, In : Theory and Practice of Logic Programming. 14, 4-5, p. 445-459 15 p.

Research output: Contribution to journalArticle

Well-founded Semantics
Semantics
Logic programming
Nonmonotonic Reasoning
Social Media
28 Citations (Scopus)

Eliminating concepts and roles from ontologies in expressive descriptive logics

Wang, K., Wang, Z., Topor, R., Pan, J. Z. & Antoniou, G., 2014, In : Computational Intelligence. 30, 2, p. 205-232 28 p.

Research output: Contribution to journalArticle

Ontology
Description Logics
Logic
Computing
Reasoning
1 Citation (Scopus)
Semantic Web
Topological Relations
Ontology
Topology
Reasoning
1 Citation (Scopus)

Large-scale complex reasoning with semantics: Approaches and challenges

Antoniou, G., Pan, J. Z. & Tachmazidis, I., 2014, Web Information Systems Engineering - WISE 2013 Workshops - WISE 2013 International Workshops Big WebData, MBC, PCS, STeH, QUAT, SCEH,and STSC, Revised Selected Papers. Springer Verlag, Vol. 8182. p. 1-10 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8182).

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

Reasoning
Semantics
Sensors
Nonmonotonic Reasoning
Social Media

Large-scale reasoning with (semantic) data

Antoniou, G., Batsakis, S. & Tachmazidis, I., 2014, 4th International Conference on Web Intelligence, Mining and Semantics, WIMS 2014. Association for Computing Machinery (ACM)

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

Semantic Web
Semantics
Knowledge representation
Explosions
Ontology
2 Citations (Scopus)

Massively Parallel Reasoning under the Well-Founded Semantics Using X10

Tachmazidis, I., Cheng, L., Kotoulas, S., Antoniou, G. & Ward, T. E., 12 Dec 2014, Proceedings - 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, ICTAI 2014. IEEE Computer Society, Vol. 2014-December. p. 162-169 8 p. 6984469

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

Semantics
Logic programming
Computer programming languages
Industry
Sensors
18 Citations (Scopus)

Ontologies of time: Review and trends

Ermolayev, V., Batsakis, S., Keberle, N., Tatarintseva, O. & Antoniou, G., 2014, In : International Journal of Computer Science and Applications. 11, 3, p. 57-115 59 p.

Research output: Contribution to journalArticle

Ontology
Temporal logic
Semantic Web
Computer science
Artificial intelligence

Rational elimination of DL-Lite TBox axioms

Zhuang, Z., Wang, Z., Wang, K. & Antoniou, G., 2014, In : CEUR Workshop Proceedings. 1193, p. 746-756 11 p.

Research output: Contribution to journalArticle

Ontology
1 Citation (Scopus)

Representing and reasoning over topological relations in OWL

Batsakis, S., Antoniou, G. & Tachmazidis, I., 2014, 4th International Conference on Web Intelligence, Mining and Semantics, WIMS 2014. Association for Computing Machinery (ACM)

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

Open Access
Semantic Web
Ontology
Semantics
Decomposition

Using Hadoop to implement a semantic method of assessing the quality of research medical datasets

Bonner, S., Kureshi, I., Antoniou, G., Corsair, D., Moss, L. & Tachmazidis, I., 4 Aug 2014, Proceedings of the 3rd ASE International Conference on Big Data Science and Computing, BIGDATASCIENCE 2014. Association for Computing Machinery (ACM), Vol. 04-07-August-2014. 2644163

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

Joining
Semantics
2 Citations (Scopus)

Why-provenance information for RDF, rules, and negation

Analyti, A., Damásio, C. V., Antoniou, G. & Pachoulakis, I., 2014, In : Annals of Mathematics and Artificial Intelligence. 70, 3, p. 221-277 57 p.

Research output: Contribution to journalArticle

Provenance
Ontology
Stable Models
Semantics
Negation as Failure
2013
2 Citations (Scopus)

A framework for modular ERDF ontologies

Analyti, A., Antoniou, G., Damásio, C. V. & Pachoulakis, I., 1 Mar 2013, In : Annals of Mathematics and Artificial Intelligence. 67, 3-4, p. 189-249 61 p.

Research output: Contribution to journalArticle

Ontology
Semantics
Stable Models
Semantic Web
Encapsulation

A modal defeasible reasoner of deontic logic for the semantic web

Kontopoulos, E., Bassiliades, N., Governatori, G. & Antoniou, G., 30 Mar 2013, Semantic Web: Ontology and Knowledge Base Enabled Tools, Services, and Applications. Sheth, A. P. (ed.). IGI Global, p. 140-167 28 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Semantic Web
Testing
4 Citations (Scopus)

Computing the Stratified Semantics of Logic Programs over Big Data through Mass Parallelization

Tachmazidis, I. & Antoniou, G., Jul 2013, Theory, Practice, and Applications of Rules on the Web - 7th International Symposium, RuleML 2013, Proceedings. Springer Verlag, p. 188-202 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8035).

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

Logic programming
Logic Programs
Parallelization
Logic Programming
Semantics
12 Citations (Scopus)

Formal foundations for RDF/S KB evolution

Flouris, G., Konstantinidis, G., Antoniou, G. & Christophides, V., 1 Apr 2013, In : Knowledge and Information Systems. 35, 1, p. 153-191 39 p.

Research output: Contribution to journalArticle

Semantics
Mathematical operators
Tuning
19 Citations (Scopus)

Justifications for logic programming

Viegas Damásio, C., Analyti, A. & Antoniou, G., 22 Oct 2013, Logic Programming and Nonmonotonic Reasoning : 12th International Conference, LPNMR 2013, Proceedings. Cabalar, P. (ed.). p. 530-542 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8148 LNAI).

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

Relational Algebra
Provenance
Logic programming
Logic Programming
Justification