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

Research Output 2011 2019

2019
Traffic signals
traffic
Planning
Autonomous agents
planning
1 Citation (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
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
1 Citation (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

Legal Reasoning and Big Data: Opportunities and Challenges

Antoniou, G., Baryannis, G., Batsakis, S., Governatori, G., Robaldo, L., Siragusa, G. & Tachmazidis, I., 22 Aug 2018, (Accepted/In press) Proceedings of the MIREL 2018 workshop on MIning and REasoning with Legal texts.

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

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

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
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
12 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
3 Citations (Scopus)

Answer set programming for qualitative spatio-temporal reasoning: Methods and experiments

Brenton, C., Faber, W. & Batsakis, S., 13 Nov 2016, Technical Communications of the 32nd International Conference on Logic Programming: ICLP 2016. Carro, M., King, A., Saeedloei, N. & Vos, M. D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 52. p. 4:1-4:15 15 p. 4

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

Open Access
Temporal Reasoning
Answer Set Programming
Algebra
programming
experiment
6 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 (editorial)

Yakovyna, V., Mayr, H. C., Nikitchenko, M., Zholtkevych, G., Spivakovsky, A. & Batsakis, S., 2016, Information and Communication Technologies in Education, Research, and Industrial Applications. Yakovyna, V., Mayr, H. C., Nikitchenko, M., Zholtkevych, G., Spivakovsky, A. & Batsakis, S. (eds.). Vol. 594. p. V-VI (Communications in Computer and Information Science; vol. 594).

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

4 Citations (Scopus)

SOWL QL: Querying Spatio-Temporal Ontologies in OWL

Stravoskoufos, K., Petrakis, E. G. M., Mainas, N., Batsakis, S. & Samoladas, V., Dec 2016, In : Journal on Data Semantics. 5, 4, p. 249-269 21 p.

Research output: Contribution to journalArticle

Open Access
Ontology
Query languages
2015
6 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
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
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
6 Citations (Scopus)

CHRONOS: Improving the Performance of Qualitative Temporal Reasoning in OWL

Anagnostopoulos, E., Petrakis, E. G. M. & Batsakis, S., 12 Dec 2014, Proceedings - 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, ICTAI 2014. IEEE Computer Society, Vol. 2014-December. p. 309-315 7 p. 6984490

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

Acoustic waves
Chemical analysis
9 Citations (Scopus)

CHRONOS Ed: A tool for handling temporal ontologies in Proté gé

Preventis, A., Petrakis, E. G. M. & Batsakis, S., 2014, In : International Journal on Artificial Intelligence Tools. 23, 4, 1460018.

Research output: Contribution to journalArticle

Ontology
1 Citation (Scopus)
Semantic Web
Topological Relations
Ontology
Topology
Reasoning

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
16 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
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
2013
10 Citations (Scopus)

CHRONOS: A reasoning engine for qualitative temporal information in OWL

Anagnostopoulos, E., Batsakis, S. & Petrakis, E. G. M., 1 Jan 2013, In : Procedia Computer Science. 22, p. 70-77 8 p.

Research output: Contribution to journalConference article

Open Access
Ontology
Semantics
Engines
2011
5 Citations (Scopus)

Representing temporal knowledge in the semantic Web: The extended 4D fluents approach

Batsakis, S. & Petrakis, E. G. M., 1 Dec 2011, Combinations of Intelligent Methods and Applications: Proceedings of the 2nd International Workshop,CIMA 2010, France,October 2010. Hatzilygeroudis, I. & Prentzas, J. (eds.). p. 55-69 15 p. (Smart Innovation, Systems and Technologies; vol. 8).

Research output: Chapter in Book/Report/Conference proceedingChapter

Semantic Web
Ontology
Semantic web